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 |
|
|
Peter Simons
|
80c344d0cf
|
pkgs/applications/science/math/maxima: fixed the sha256 checksum
svn path=/nixpkgs/trunk/; revision=25795
|
2011-02-07 14:47:42 +00:00 |
|
|
Peter Simons
|
0c3dcddbf3
|
pkgs/applications/science/math/wxmaxima: updated to version 0.8.7
svn path=/nixpkgs/trunk/; revision=25787
|
2011-02-07 11:35:42 +00:00 |
|
|
Peter Simons
|
a4cf1b8456
|
pkgs/applications/science/math/maxima: updated to version 5.23.2
svn path=/nixpkgs/trunk/; revision=25786
|
2011-02-07 11:35:35 +00:00 |
|
|
Marco Maggesi
|
436e1d72a7
|
* Coq: fix compilation of coqide (path to lablgkt)
svn path=/nixpkgs/trunk/; revision=25360
|
2011-01-03 13:49:15 +00:00 |
|
|
Michael Raskin
|
e55aa52856
|
Fix lablgtk reference
svn path=/nixpkgs/trunk/; revision=25341
|
2011-01-02 17:25:18 +00:00 |
|
|
Russell O'Connor
|
88ec92d14c
|
Matita and its dependencies.
svn path=/nixpkgs/trunk/; revision=25328
|
2010-12-31 17:48:55 +00:00 |
|
|
Eelco Dolstra
|
aa6f43149a
|
* Sync with the trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25308
|
2010-12-28 16:42:00 +00:00 |
|
|
Marco Maggesi
|
51d6c8df91
|
* Handle variable createFindlibDestdir correctly in ocaml-findlib
* Fix HOL Light derivation
svn path=/nixpkgs/trunk/; revision=25269
|
2010-12-23 19:28:06 +00:00 |
|
|
Eelco Dolstra
|
c14382cb45
|
* Sync with the trunk.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25225
|
2010-12-21 15:14:33 +00:00 |
|
|
Marco Maggesi
|
e7accaf8d3
|
* Update camlp5
svn path=/nixpkgs/trunk/; revision=25206
|
2010-12-20 10:32:22 +00:00 |
|
|
Ludovic Courtès
|
e60ba9135a
|
SimGrid 3.5.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25180
|
2010-12-17 17:48:12 +00:00 |
|
|
Lluís Batlle i Rossell
|
ee04ffcb55
|
Updating from trunk. I resolved simple conflicts.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25061
|
2010-12-11 12:47:00 +00:00 |
|
|
Michael Raskin
|
07dd3f074b
|
Adding MiniSAT
svn path=/nixpkgs/trunk/; revision=24984
|
2010-12-05 19:54:27 +00:00 |
|
|
Michael Raskin
|
011d71dcb8
|
Adding PARI/GP
svn path=/nixpkgs/trunk/; revision=24983
|
2010-12-05 19:11:21 +00:00 |
|
|
Michael Raskin
|
7768fa0178
|
Fix installation layout
svn path=/nixpkgs/trunk/; revision=24982
|
2010-12-05 19:08:32 +00:00 |
|
|
Michael Raskin
|
5cb3f8b659
|
Missing Singular files
svn path=/nixpkgs/trunk/; revision=24981
|
2010-12-05 18:37:47 +00:00 |
|
|
Michael Raskin
|
6b8abaa29e
|
Adding OpenSMT
svn path=/nixpkgs/trunk/; revision=24978
|
2010-12-05 18:22:14 +00:00 |
|
|
Michael Raskin
|
a9f70d542d
|
Adding CVC3 satisfiability modulo theory (SMT) solver
svn path=/nixpkgs/trunk/; revision=24975
|
2010-12-05 17:28:41 +00:00 |
|
|
Michael Raskin
|
44ac8c5ea1
|
Adding iProver
svn path=/nixpkgs/trunk/; revision=24969
|
2010-12-04 18:39:44 +00:00 |
|
|
Michael Raskin
|
86e44e72bf
|
Adding SPASS
svn path=/nixpkgs/trunk/; revision=24967
|
2010-12-04 11:43:01 +00:00 |
|
|
Michael Raskin
|
64ed7e705d
|
Adding Satallax prover
svn path=/nixpkgs/trunk/; revision=24963
|
2010-12-03 11:26:34 +00:00 |
|
|
Michael Raskin
|
c32bd62956
|
Adding LEO2 automated higher-order prover
svn path=/nixpkgs/trunk/; revision=24952
|
2010-12-01 21:29:42 +00:00 |
|
|
Michael Raskin
|
373fabf1c0
|
Fix settings patch for Isabelle
svn path=/nixpkgs/trunk/; revision=24951
|
2010-12-01 21:29:20 +00:00 |
|
|
Michael Raskin
|
b89881d098
|
Update Isabelle
svn path=/nixpkgs/trunk/; revision=24950
|
2010-12-01 21:25:21 +00:00 |
|
|
Lluís Batlle i Rossell
|
d71ad68d43
|
Fixing the verilog URL (contributed by Antonio Vargas)
svn path=/nixpkgs/trunk/; revision=24935
|
2010-11-30 11:24:12 +00:00 |
|
|
Lluís Batlle i Rossell
|
ab6627ac0e
|
Fix for the verilog package, from Antonio Vargas Gonzalez
svn path=/nixpkgs/trunk/; revision=24934
|
2010-11-30 11:23:36 +00:00 |
|
|
Lluís Batlle i Rossell
|
0e4c970d11
|
Updating from trunk - I hope I fixed the conflict around gettext - I left it as
it was before merging.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24876
|
2010-11-26 14:40:39 +00:00 |
|