Marco
3af4c7065d
Update HOL Light to svn r232 (2015-05-31)
2015-06-03 11:17:39 +02:00
Vincent Laporte
28bfbb5562
why3: update from 0.85 to 0.86.1
2015-06-01 05:57:19 +02:00
Austin Seipp
f47d22a6f1
nixpkgs: verilator 3.872
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-05-31 17:37:56 -05:00
Tobias Geerinckx-Rice
158e1cfdd0
Don't use "with licenses;" for single licences
...
And don't use square brackets on such lines.
2015-05-28 19:20:29 +02:00
Tobias Geerinckx-Rice
b2d7f4b1ba
Use common licence attributes from lib/licenses.nix
...
Many (less easily automatically converted) old-style strings
remain.
Where there was any possible ambiguity about the exact version or
variant intended, nothing was changed. IANAL, nor a search robot.
Use `with stdenv.lib` wherever it makes sense.
2015-05-27 22:00:06 +02:00
Mateusz Kowalczyk
227bc88da6
Merge pull request #7991 from vbgl/gappa
...
Adds gappa 1.2.0
2015-05-26 11:14:20 +01:00
Tobias Geerinckx-Rice
7b6d9d4cff
Remove arb and then-orphaned lesstif93
...
Arb has been broken (and marked as such) since the removal of
GCC 4.2 in July 2014. Nothing and no-one uses it. Time to go.
2015-05-26 11:46:41 +02:00
Vincent Laporte
9f1eb28a20
Adds gappa 1.2.0
...
Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.
Homepage: http://gappa.gforge.inria.fr/
2015-05-25 19:32:09 +02:00
Tobias Geerinckx-Rice
b10cb12a93
tetgen 1.4.3 -> 1.5.0
...
Keep version 1.4.3 around as `tetgen_1_4`, because the licence
changed from MIT to AGPL3+ in the meantime.
2015-05-25 13:35:54 +02:00
Peter Simons
7d2ce8e707
qfsm: update to version 0.54.0
2015-05-23 23:04:15 +02:00
Pascal Wittmann
c944422863
lean: fixed build
2015-05-16 12:12:58 +02:00
Pascal Wittmann
9c9c586534
Fixed several "package has no version" warnings
2015-05-14 17:19:41 +02:00
Peter Simons
c1e62e9e8b
maxima: update to version 5.36.1
2015-05-13 12:17:16 +02:00
Peter Simons
645b1cea6e
wxmaxima: update to 15.04.0
2015-05-13 12:17:01 +02:00
Aistis Raulinaitis
4672fa43d9
z3 opt
2015-05-10 13:46:00 +02:00
William A. Kennington III
074c4a7f78
Merge remote-tracking branch 'upstream/master' into staging
2015-05-07 01:44:49 -07:00
Peter Simons
324719a5a6
Drop obsolete pre-NG Haskell builds.
2015-05-05 21:44:47 +02:00
William A. Kennington III
00df204c82
Merge remote-tracking branch 'upstream/master' into staging
2015-05-01 15:57:09 -07:00
Joachim Fasting
bf7ad2d84f
meta.description fixups
...
Mostly scripted substitutions with a couple of subjective enhancements.
2015-04-30 18:17:42 +02:00
Thomas Tuegel
1fe28a1132
Merge remote-tracking branch 'upstream/master' into staging
2015-04-29 11:33:28 -05:00
Pascal Wittmann
f99d5cf2fc
Fixed some descriptions
2015-04-28 10:55:20 +02:00
William A. Kennington III
d8c949cc26
Make tcl and tk versions generic
2015-04-26 21:30:01 -07:00
John Wiegley
9402a56620
coq_8_5: New expression
2015-04-26 22:29:15 -05:00
Vladimír Čunát
30f31c9afc
Merge 'master' into staging
...
(relatively simple conflicts)
2015-04-26 22:52:08 +02:00
Peter Simons
f82a287c20
R: update to 3.2.0
2015-04-17 20:02:46 +02:00
Remy Goldschmidt
de02110903
Added K Framework package.
...
Closes https://github.com/NixOS/nixpkgs/pull/7419 .
2015-04-17 16:05:00 +02:00
Vincent Laporte
4b9c90c64e
coq: update from 8.4pl5 to 8.4pl6
2015-04-15 07:18:08 +02:00
Thomas Tuegel
88918e10e9
Merge branch 'master' into staging
2015-04-10 07:45:38 -05:00
Aristid Breitkreuz
a7e0cb38c2
update Mathematica to 10.0.2
2015-04-09 21:53:51 +02:00
Eric Seidel
6ec373d776
Merge branch master into staging
2015-04-06 18:58:08 -07:00
Austin Seipp
31f4c0c7d1
nixpkgs: abc-verifier 20140509 -> 20150406
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-04-06 07:57:27 -05:00
lethalman
b4824ffc5d
Merge pull request #7103 from gebner/verit
...
Add veriT, an SMT solver.
2015-03-31 12:31:26 +02:00
Gabriel Ebner
20428cd90f
Add veriT.
2015-03-31 09:14:38 +02:00
Ben Darwin
54dab782be
twelf: fix by actually including the Twelf SML heap image in the package and referencing the SML interpreter so the smlnj package won't be gc'd
2015-03-31 01:11:57 -04:00
William A. Kennington III
fa2e5b25ba
Merge branch 'master' into staging
2015-03-29 14:25:48 -07:00
Austin Seipp
a6813ca62d
nixpkgs: add lean-20150328, a theorem prover.
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-03-28 01:47:39 -05:00
Austin Seipp
75ab87edc8
nixpkgs: z3 is now MIT licensed.
...
It's also been moved to GitHub, meaning we can avoid some of the
hackiness in the original expression. This updates the Git revision, but
only so that it contains the proper license (it's otherwise equivalent
to Z3 v4.3.2)
Also, make sure the python API .py files exist besides the .pyc files.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-03-28 01:04:06 -05:00
William A. Kennington III
767c179a94
Merge branch 'master' into staging
2015-03-26 14:44:05 -07:00
Eric Seidel
eff828a275
z3: copy all headers into nix store
2015-03-26 13:19:41 -07:00
William A. Kennington III
2e815a7444
Merge pull request #6961 from bcdarwin/abella
...
new package: abella 2.0.2
2015-03-25 22:14:10 -07:00
Thomas Tuegel
5d1f6ad57c
qt5: make qt-5.4.1 default
2015-03-24 17:14:56 -05:00
Siarhei Zirukin
f4cd5a68f7
pcalc: 20120812 -> 20141224
2015-03-24 18:27:42 +01:00
Ben Darwin
172167c937
new package: abella 2.0.2
2015-03-24 00:54:03 -04:00
Peter Simons
3f7de179f5
R: update to version 3.1.3
2015-03-09 16:37:05 +01:00
Michael Raskin
0394ce7627
Update pari
2015-03-09 01:03:00 +03:00
Lluís Batlle i Rossell
aa188a27a2
Updating gtkwave to 3.3.64
2015-02-26 10:36:10 +01:00
Damien Cassou
bc58f50eab
Merge pull request #6338 from DamienCassou/plm-2.5
...
New package PLM: Programmer's Learning Machine
2015-02-20 09:17:27 +01:00
Shea Levy
2f061ff16b
Merge remote-tracking branch 'origin/staging'
...
Darwin and haskell fixes.
2015-02-17 13:52:37 -05:00
Marco
5f6e6b1661
Update HOL Light to r218
2015-02-17 10:23:51 +01:00
Peter Simons
600135bba5
Merge remote-tracking branch 'master' into staging.
2015-02-13 22:17:12 +01:00
