Michael Raskin
4c55ae8588
Update TPTP and make URL set robust to moving old versions to archive
2014-05-03 00:53:46 +04:00
Austin Seipp
7d58646b08
z3/verifast: update license
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:09:24 -05:00
Peter Simons
4700996bc7
haskell-sloane: update to version 1.7.1
2014-05-01 21:57:03 +02:00
Austin Seipp
6d52463bd3
nixpkgs: add alt-ergo 0.95.2
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:42:31 -05:00
Austin Seipp
4ee4f76176
nixpkgs: add why3 0.83
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:39 -05:00
Austin Seipp
d1a32414cd
nixpkgs: add ltl2ba 1.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:34 -05:00
Eelco Dolstra
fe4bc3cc80
Fix evaluation error
...
http://hydra.nixos.org/build/10697257
2014-04-29 20:40:28 +02:00
Peter Simons
6c5d7a63ac
haskell-sloane: update to version 1.7
2014-04-29 01:35:45 +02:00
Peter Simons
1d7f7ad92f
Merge pull request #2353 from jwiegley/sage
...
Add expression for sage
2014-04-28 22:46:27 +02:00
Austin Seipp
aaa0304a45
nixpkgs: verifast 13.11.14
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 13:46:27 -05:00
Austin Seipp
0f1f2115e9
hol_light: fix script, upgrade to r189
...
This also tweaks the version number to just use the SVN revision (rather
than date), since it's unambiguous and increasing anyway.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:31:36 -05:00
Austin Seipp
da0c8f33ef
nixpkgs: yices 2.2.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:05:40 -05:00
Peter Simons
06f59807e6
qfsm: update meta.platforms settings for the new logic
2014-04-26 15:54:52 +02:00
Peter Simons
34a1db9202
tkgate: update meta.platforms settings for the new logic
2014-04-26 15:54:40 +02:00
Peter Simons
83df08830f
qfsm: mark 'broken' because of build errors
...
Upstream seems to have abandoned the package.
2014-04-25 10:04:58 +02:00
Peter Simons
964f1e0e20
tkgate-2.x: mark 'broken' because the application segfaults after startup
2014-04-25 10:04:30 +02:00
John Wiegley
7ce39b067a
Add expression for sage
2014-04-22 14:10:36 -05:00
Eric Kow
9e457049e4
megam: New package
...
Maximum Entropy (GA) Model Optimization Package
2014-04-15 14:00:56 +01:00
Peter Simons
b5773eeccb
R: update to version 3.1.0
2014-04-11 12:07:00 +02:00
Austin Seipp
5aa4495cb5
boolector: add version 1.5 and 1.6
...
There are two versions here because beginning with 1.6.0, Boolector has
a more restrictive, unfree license which disallows commercial use.
As a result, Boolector 1.5 is the default 'boolector' expression.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-07 09:17:05 -05:00
Peter Simons
f2cb92f5d4
maxima: update to version 5.33.0
2014-04-03 20:13:35 +02:00
Shea Levy
a0a135d5ef
Merge branch 'z3' of git://github.com/thoughtpolice/nixpkgs
...
z3: version 4.3.1
2014-03-28 23:54:43 -04:00
Austin Seipp
2646eac8b2
z3: version 4.3.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-21 02:50:54 -05:00
Anders Claesson
ac3de98f07
Add sloane -- a command line interface to OEIS.
2014-03-18 14:37:56 +00:00
Shea Levy
389c3951a8
Merge branch 'coq' of git://github.com/thoughtpolice/nixpkgs
...
coq: 8.4pl2 -> 8.4pl3
2014-03-15 13:03:10 -04:00
Michael Raskin
8dc61a6519
Update EKRHyper
2014-03-08 21:12:59 +04:00
Austin Seipp
c0f779ceee
coq: add myself to maintainer list.
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-07 20:52:33 -06:00
Austin Seipp
fa118fc677
coq: 8.4pl2 -> 8.4pl3
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-07 20:52:26 -06:00
Peter Simons
41e0214bb1
R: update to version 3.0.3
2014-03-07 22:51:39 +01:00
Peter Simons
19cb32a36c
root: update from 5.34.14 to 5.34.15
2014-03-03 11:10:25 +01:00
Mathijs Kwik
2eedf210d3
celestia: fix install location
2014-02-17 06:49:05 +01:00
Vladimír Čunát
5559d4d47e
kicad: disable parallel building, as it often fails
...
CC @viric.
2014-02-06 08:06:22 +01:00
Peter Simons
5fefec3944
pspp: update from 0.8.1 to 0.8.2
2014-01-25 20:58:49 +01:00
Petr Rockai
ed5bd26574
STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).
2014-01-25 16:33:12 +01:00
Vladimír Čunát
ac6761c908
Merge master into stdenv-updates
...
Conflicts:
pkgs/applications/version-management/gource/default.nix
pkgs/top-level/all-packages.nix
2014-01-20 19:39:28 +01:00
Peter Simons
2991fdca52
root: enable parallel building
2014-01-20 18:26:32 +01:00
Peter Simons
baeb19d0ce
root: clean up meta section and move build into 'science/misc' section
2014-01-20 18:24:27 +01:00
Peter Simons
6475f0d1fe
fricas: clean up meta section
2014-01-20 18:20:08 +01:00
Roger Mason
e9928a1f25
Add CERN's 'root' Application Framework.
2014-01-20 18:11:09 +01:00
Roger Mason
3d1f6e3a75
Add fricas, a computer algebra system
2014-01-20 18:11:09 +01:00
Vladimír Čunát
0a58b512cb
Merge master into stdenv-updates
...
Conflicts (simple):
pkgs/development/compilers/gcc/4.8/default.nix
pkgs/development/compilers/llvm/default.nix
pkgs/development/libraries/gmp/5.1.1.nix
pkgs/development/libraries/gmp/5.1.3.nix
pkgs/development/libraries/gmp/5.1.x.nix
pkgs/top-level/all-packages.nix
2014-01-18 14:46:20 +01:00
Marco Maggesi
b504b1b4cb
Update HOL Light to revision 179
2014-01-14 15:21:09 +01:00
Peter Simons
25411b3c7b
maxima: update to version 5.32.1
2014-01-13 17:05:45 +01:00
Vladimír Čunát
d494ed15e7
celestia: fix build (inspired by Arch)
2014-01-05 10:42:55 +01:00
Bjørn Forsman
4d6605e882
Whitespace fixes in package expressions I maintain
2014-01-02 17:58:08 +01:00
Nixpkgs Monitor
786b828f33
ngspice: update from 24 to 25
2013-12-23 05:27:10 +02:00
Nixpkgs Monitor
7289affced
pari: update from 2.5.4 to 2.5.5
2013-12-21 02:28:25 +02:00
Nixpkgs Monitor
b3f1ee3863
jags: update from 2.2.0 to 3.4.0
2013-12-18 18:18:32 +02:00
Nixpkgs Monitor
0aef5b8381
gtkwave: update from 3.3.39 to 3.3.53
2013-12-18 18:18:31 +02:00
Nixpkgs Monitor
24c79d6626
gromacsDouble: update from 4.5.5 to 4.6.5
2013-12-18 18:18:30 +02:00
