Michael Raskin
d5c702939c
Update Golly
...
svn path=/nixpkgs/trunk/; revision=30874
2011-12-13 21:00:42 +00:00
Peter Simons
c86e037939
wxMaxima: updated to version 11.08.0
...
svn path=/nixpkgs/trunk/; revision=30774
2011-12-06 14:07:14 +00:00
Peter Simons
1382203c29
maxima: updated to version 5.25.1
...
svn path=/nixpkgs/trunk/; revision=30773
2011-12-06 14:07:11 +00:00
Lluís Batlle i Rossell
a9a03946df
Updating gtkwave
...
svn path=/nixpkgs/trunk/; revision=30738
2011-12-05 10:44:53 +00:00
Marco Maggesi
bf394d80ec
Update url for Isabelle2011
...
svn path=/nixpkgs/trunk/; revision=30574
2011-11-26 18:45:15 +00:00
Russell O'Connor
845f2a8658
adding camlp5 as a propogated build input to ulex 0.8
...
matita and ulex must build against the same version of camlp5, so in an attempt to force them to always be the same I am adding a propgatedBuildInput to ulex.
Granted Matita still requires camlp5_traditional and this is less obvious in the matita file now, so I am not entirely sure this is the right design choice.
svn path=/nixpkgs/trunk/; revision=30552
2011-11-24 19:43:03 +00:00
Marco Maggesi
fa47d66e22
Updated HOL Light to revision 112
...
svn path=/nixpkgs/trunk/; revision=30369
2011-11-10 15:35:53 +00:00
Peter Simons
4098071398
gravit: cosmetic
...
svn path=/nixpkgs/trunk/; revision=30314
2011-11-08 10:01:14 +00:00
Peter Simons
cf77f59ce9
stellarium: updated to version 0.11.1
...
svn path=/nixpkgs/trunk/; revision=30289
2011-11-07 10:04:40 +00:00
Russell O'Connor
491c6e43b1
Package for picosat.
...
svn path=/nixpkgs/trunk/; revision=29869
2011-10-17 22:18:21 +00:00
Lluís Batlle i Rossell
58e9385e70
Downgrading boinc to the last stable version.
...
svn path=/nixpkgs/trunk/; revision=29808
2011-10-13 08:58:45 +00:00
Lluís Batlle i Rossell
c67c7d49b0
Boinc wanted to be told to link to libX11
...
svn path=/nixpkgs/trunk/; revision=29713
2011-10-07 19:01:27 +00:00
Lluís Batlle i Rossell
80d397413d
Boinc can even run, but only if placed in the proper (writeable) path.
...
svn path=/nixpkgs/trunk/; revision=29712
2011-10-07 19:01:19 +00:00
Lluís Batlle i Rossell
fefaa7a6ea
Adding boinc. It installs. I don't know how to use it.
...
svn path=/nixpkgs/trunk/; revision=29704
2011-10-06 20:25:05 +00:00
Yury G. Kudryashov
9ee5230537
Move qt3/qt4 choice to .nix expressions
...
svn path=/nixpkgs/trunk/; revision=29404
2011-09-20 22:49:13 +00:00
Marco Maggesi
a9d2f34301
Update HOL Light to release 102
...
svn path=/nixpkgs/trunk/; revision=28718
2011-08-21 08:41:22 +00:00
Yury G. Kudryashov
a660093a4d
Fix typo in URL
...
svn path=/nixpkgs/trunk/; revision=28603
2011-08-15 23:39:11 +00:00
Yury G. Kudryashov
0962beade0
Add avogadro
...
svn path=/nixpkgs/trunk/; revision=28596
2011-08-15 18:05:39 +00:00
Yury G. Kudryashov
48f1cd549f
pari-gp-2.5.0
...
svn path=/nixpkgs/trunk/; revision=28440
2011-08-09 20:20:58 +00:00
Michael Raskin
946cd2431f
Update LEO-II
...
svn path=/nixpkgs/trunk/; revision=28180
2011-08-05 18:22:40 +00:00
Michael Raskin
3e8a39ea61
Updating Maxima
...
svn path=/nixpkgs/trunk/; revision=28152
2011-08-04 15:13:15 +00:00
Peter Simons
c58754b390
stellarium: build this package on Linux only
...
Stellarium is supposed to compile on mesaPlatforms, but unfortunately our qt47
expression doesn't support platforms other than Linux.
svn path=/nixpkgs/trunk/; revision=27798
2011-07-15 12:47:20 +00:00
Peter Simons
fa99abdc89
gravit, stellarium: build software that depends on mesa only on mesa platforms
...
svn path=/nixpkgs/trunk/; revision=27790
2011-07-14 20:53:30 +00:00
Peter Simons
7c8871512d
wxmaxima: ensure that wxMaxima will find Maxima even if it's not in $PATH
...
svn path=/nixpkgs/trunk/; revision=27745
2011-07-13 09:56:58 +00:00
Peter Simons
3cd02cd43d
maxima: switch from clisp to sbcl, enable tk gui, and fix various impurities
...
* Build maxima with sbcl for better performance.
* Enable the regression test suite.
* Configure $PATH at start-up so that maxima knows how to find sbcl,
wish, rlwrap, and gnuplot.
* Move installed documentation and Emacs lisp modules into standard
locations.
* Enable parallel building.
svn path=/nixpkgs/trunk/; revision=27743
2011-07-13 09:13:32 +00:00
Peter Simons
8223f67929
Added stellarium 0.11.0.
...
svn path=/nixpkgs/trunk/; revision=27697
2011-07-10 20:17:44 +00:00
Peter Simons
3806050f60
gravit: enable support for lua 5.0.x
...
The build doesn't work with the latest version 5.1.x. Upstream is going
to release an update to fix this soon.
svn path=/nixpkgs/trunk/; revision=27693
2011-07-10 14:04:24 +00:00
Peter Simons
e7746a78ed
gravit: added version 0.4.2
...
svn path=/nixpkgs/trunk/; revision=27677
2011-07-08 21:23:55 +00:00
Peter Simons
574eb09fa4
xplanet: move expression into new category "astronomy"
...
svn path=/nixpkgs/trunk/; revision=27676
2011-07-08 21:23:48 +00:00
Peter Simons
947610085d
Added Eukleides, a geometry drawing language.
...
svn path=/nixpkgs/trunk/; revision=27655
2011-07-07 21:53:21 +00:00
Michael Raskin
b973f98afa
Make tulip run without hassle. Unfortunately, some operations repeatably crash tulip even when built vs Qt4.6
...
svn path=/nixpkgs/trunk/; revision=27570
2011-07-01 09:53:11 +00:00
Michael Raskin
a4be010d31
Update Tulip
...
svn path=/nixpkgs/trunk/; revision=27566
2011-07-01 07:01:46 +00:00
Michael Raskin
d03599f8ce
Adding TPTP
...
svn path=/nixpkgs/trunk/; revision=27468
2011-06-15 10:35:18 +00:00
Marco Maggesi
5b035e093d
Update HOL Light to rev 92
...
svn path=/nixpkgs/trunk/; revision=27459
2011-06-14 17:09:19 +00:00
Marco Maggesi
1298fd8aba
Update hol_light and cleanup:
...
* Update hol_light to rev 90
* Remove dmtcp checkpoint (it doesn't work properly).
* General cleanup and simplification
svn path=/nixpkgs/trunk/; revision=27290
2011-05-21 11:18:35 +00:00
Marco Maggesi
8e5beab31f
Fix building of Isabelle2011
...
svn path=/nixpkgs/trunk/; revision=27253
2011-05-14 21:09:57 +00:00
Peter Simons
1c6d30e2ad
wxmaxima: updated to version 11.04.0
...
svn path=/nixpkgs/trunk/; revision=27171
2011-05-06 07:35:22 +00:00
Peter Simons
b4e5853028
maxima: updated to version 5.24.0
...
svn path=/nixpkgs/trunk/; revision=27170
2011-05-06 07:35:15 +00:00
Eelco Dolstra
b61d3ab317
* Typo in attribute. This broke --meta --xml evaluation.
...
svn path=/nixpkgs/trunk/; revision=27142
2011-05-04 12:45:05 +00:00
Russell O'Connor
af59636bf5
adding ecm support to msieve.
...
svn path=/nixpkgs/trunk/; revision=26931
2011-04-23 12:36:36 +00:00
Russell O'Connor
699261d8df
Adding ecm-6.2.3.
...
svn path=/nixpkgs/trunk/; revision=26930
2011-04-23 12:25:51 +00:00
Marco Maggesi
a041cad70a
Update HOL Light to r89
...
svn path=/nixpkgs/trunk/; revision=26916
2011-04-21 14:39:29 +00:00
Russell O'Connor
3db6f63711
Package for msieve.
...
This would be better if gmp-emc were packaged as well.
svn path=/nixpkgs/trunk/; revision=26915
2011-04-21 12:48:07 +00:00
Michael Raskin
b4faf64bae
Update Isabelle to an existing tarball...
...
svn path=/nixpkgs/trunk/; revision=26903
2011-04-20 12:24:34 +00:00
Russell O'Connor
bec1a9c44f
update coq to 8.3pl1
...
update ssreflect to 1.3pl1
svn path=/nixpkgs/trunk/; revision=26692
2011-04-05 11:59:25 +00:00
Lluís Batlle i Rossell
df786c07dc
Updating gtkwave
...
svn path=/nixpkgs/trunk/; revision=26454
2011-03-22 11:36:58 +00:00
Andres Löh
c2090d1be3
Added JAGS.
...
svn path=/nixpkgs/trunk/; revision=26396
2011-03-17 14:45:36 +00:00
Michael Raskin
662fa0a13b
Fix updated maxima build
...
svn path=/nixpkgs/trunk/; revision=25799
2011-02-08 10:35:58 +00:00
Peter Simons
e0d871ba91
maxima: added buildInput 'texinfo' so that the reference documentation can be built
...
svn path=/nixpkgs/trunk/; revision=25797
2011-02-07 17:37:22 +00:00
Peter Simons
7795e5ec24
pkgs/applications/science/math/wxmaxima/default.nix: fixed the sha256 checksum
...
svn path=/nixpkgs/trunk/; revision=25796
2011-02-07 14:49:25 +00:00