BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
23929 commits 1 branch 0 tags 3.8 GiB
Commit graph

291 commits

Author SHA1 Message Date
Vladimír Čunát
9885d04033 Revert "WIP", sorry, I got confused, somehow 
This reverts commit 524d9b656e.
 2013-02-17 11:02:25 +01:00
Vladimír Čunát
524d9b656e WIP 2013-02-17 11:01:20 +01:00
Marco Maggesi
42a4178c2b Update HOL Light to revision 155 2013-02-08 15:26:35 +01:00
Marco Maggesi
34411286a6 Update HOL Light to revision 154 2013-02-08 15:20:06 +01:00
Peter Simons
ff461b0755 maxima: update to version 5.29.1 2013-01-19 02:31:21 +01:00
Peter Simons
c296be5519 stellarium: update to version 0.11.4a 2013-01-19 02:26:03 +01:00
Eelco Dolstra
f286cc65b1 Fix bad URLs lacking a scheme 2013-01-14 18:26:46 +01:00
Lluís Batlle i Rossell
430957b020 boinc: fix it; the binaries didn't start. 2013-01-08 23:28:39 +01:00
Lluís Batlle i Rossell
8de96cb04d boinc: updating to 7.0.44 
now it builds.

I started to use fetchgit instead of fetchsvn, because the upstream
doc pages talk about git more than svn.
 2013-01-08 23:28:39 +01:00
Michael Raskin
b31e6aa794 Merge pull request #231 from RSzibele/master 
Added Logisim 2.7.1
 2012-12-27 06:32:03 -08:00
RSzibele
fcdf685793 Added Logisim-2.7.1. 2012-12-27 16:25:39 +01:00
Michael Raskin
dd6ef6229e Merge pull request #226 from maggesi/hol_light_updates 
Update HOL Light (and fix installation)
 2012-12-27 05:33:24 -08:00
Peter Simons
591f85f17e celestia: add version 1.6.1 2012-12-25 11:26:53 +01:00
Marco Maggesi
49e4824b8a Update HOL Light (and fix installation) 2012-12-23 18:46:09 +01:00
Michael Raskin
1c3434cc16 Update E prover 2012-12-09 00:36:38 +04:00
Michael Raskin
8a1f312621 Update golly 2012-12-04 10:10:28 +04:00
Eelco Dolstra
5553546c21 Remove a bunch of unreferenced files 
Plus a small number of obsolete packages (like old versions of qemu).
 2012-11-29 13:43:37 +01:00
Peter Simons
614c7501bc Merge pull request #193 from badi/gromacs 
Add Gromacs
 2012-11-28 01:16:17 -08:00
Shea Levy
3b8796ee9d Fix tarball 2012-11-26 20:31:45 -05:00
Florian Friesdorf
6a17fe1563 fix xoscope - thx archlinux! 2012-11-26 16:07:51 +01:00
Badi' Abdul-Wahid
06c522f739 remove reference to meta.nix 2012-11-23 15:46:49 +01:00
Badi' Abdul-Wahid
cba15c96f6 fix skipped indentation 2012-11-23 15:45:19 +01:00
Badi' Abdul-Wahid
7bdcb521b2 Update based on comments to pull request 2012-11-23 15:29:17 +01:00
Badi' Abdul-Wahid
85a33507ea Add GROMACS v4.5.5 2012-11-23 03:38:13 +01:00
Peter Simons
0757af1693 qfsm: add version 0.53.0 2012-11-11 20:32:41 +01:00
Mathijs Kwik
5406e02594 tkgate: limit to i686-linux and x86_64-linux to fix channel build 
powerpc-linux seems to have a problem
http://hydra.nixos.org/build/3315312
 2012-11-11 14:12:42 +01:00
Peter Simons
86fa903f6c tkgate: add versions 1.8.7 and 2.0-b10 2012-11-08 17:30:50 +01:00
Peter Simons
85145941fa kicad: update homepage URL 2012-10-28 17:27:30 +01:00
Peter Simons
29035e15a4 ng-spice-rework: update to version 24 2012-10-28 17:27:13 +01:00
Peter Simons
a29717f41f stellarium: update to version 0.11.4 2012-10-19 10:19:41 +02:00
Peter Simons
24ec840736 wxmaxima: update to version 12.09.0 2012-10-19 10:12:31 +02:00
Peter Simons
5c59edb8f4 maxima: update to version 5.28.0 2012-10-19 10:12:31 +02:00
Peter Simons
64556b022b gravit: update to version 0.5.0 2012-10-10 19:25:42 +02:00
Russell O'Connor
46d9146d64 Update SSReflect to version 1.4 2012-09-10 23:15:54 +02:00
Marco Maggesi
286d068b37 Upgrade Isabelle proof assistant to version 2012 2012-09-04 14:34:31 +02:00
Russell O'Connor
525b8015e7 Fixing configure patch for coq 8.3. 2012-08-19 01:11:11 -04:00
Russell O'Connor
eafd2008f1 Correcting filename. 2012-08-19 01:06:15 -04:00
Russell O'Connor
706cbc9318 Update coq to 8.4 2012-08-19 01:01:30 -04:00
Lluís Batlle i Rossell
c88f2ecbcd gtkwave: updating to 3.3.39 2012-08-10 16:54:00 +02:00
Peter Simons
b8d0aebe51 stellarium: update to version 0.11.3 2012-08-04 13:00:29 +02:00
Shea Levy
c5c41832f0 Merge branch 'tptp-5.4.0' of https://github.com/7c6f434c/nixpkgs 
Update tptp to 5.4

It builds, and the change is a simple version+hash update.
 2012-07-07 20:36:15 -04:00
Peter Simons
55ea7dc453 wxmaxima: update to version 12.04.0 2012-07-07 22:20:18 +02:00
Peter Simons
0c107996d3 maxima: update to version 5.27.0 2012-07-07 22:20:18 +02:00
Michael Raskin
2331ea4ec2 TPTP: update to 5.4.0 2012-07-07 20:32:48 +04:00
Yury G. Kudryashov
3640b0c1e9 Add GiNaC 
svn path=/nixpkgs/trunk/; revision=34403
 2012-06-09 13:09:41 +00:00
Marco Maggesi
5ca0b381e0 Update HOL Light to rev 141 
svn path=/nixpkgs/trunk/; revision=34290
 2012-05-30 20:53:13 +00:00
Russell O'Connor
dace27b4c4 Revert accidentaly patch of ssreflect. 
svn path=/nixpkgs/trunk/; revision=34264
 2012-05-28 20:57:54 +00:00
Russell O'Connor
417a07a0e9 Updatings ssreflect to depend on camlp5 version 6. 
svn path=/nixpkgs/trunk/; revision=34263
 2012-05-28 20:53:17 +00:00
Russell O'Connor
f02a71103a add support to make building coqide optional. 
svn path=/nixpkgs/trunk/; revision=34262
 2012-05-28 19:45:14 +00:00
Russell O'Connor
cfc8538326 Updating coq and ssreflect to patch level 4. 
svn path=/nixpkgs/trunk/; revision=34146
 2012-05-16 22:04:02 +00:00