alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
42897 commits 217 branches 116 tags 4 GiB
Commit graph

437 commits

Author SHA1 Message Date
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
Nixpkgs Monitor 191f349052 cvc3: update from 2.2 to 2.4.1 2013-12-18 18:18:23 +02:00
Evgeny Egorochkin 69bb44994e avogadro: build documentation 2013-12-18 18:18:22 +02:00