Peter Simons
48f5247342
stellarium: update to version 0.13.3
2015-07-12 20:32:16 +02:00
William Casarin
8ead9cf0c5
caffe: init at rev 77d66dfc
...
Initial version of the Caffe deep learning framework from Berkeley
2015-07-08 10:07:10 -07:00
Michael Raskin
178014373e
E prover: switch to the new location
2015-07-05 18:52:42 +03:00
Michael Raskin
d7dae65b5c
pari: update 2.7.3 -> 2.7.4
2015-07-05 00:32:53 +03:00
vbgl
5c537f3bdd
Merge pull request #8296 from vbgl/ocamlp4
...
OCaml-4.02: fix ocamlbuild rules for camlp4
2015-06-25 23:54:13 +02:00
Vincent Laporte
715f78be7e
E prover: do not build the manual
2015-06-25 23:21:25 +02:00
Vincent Laporte
1d72ce49cf
coq-8.3: fix (needs make 3)
2015-06-25 08:55:31 +02:00
Vincent Laporte
f7dc2df7c0
acgtk: fix build with OCaml 4.02
2015-06-25 08:55:30 +02:00
Vincent Laporte
5beebaca58
fix glsurf
2015-06-25 08:55:29 +02:00
Pascal Wittmann
cf13409313
fityk: update 1.2.9 to 1.3.0
2015-06-24 11:15:44 +02:00
laMudri
723cd518b9
hol: k.8 -> k.10, closes #8477
2015-06-24 10:04:54 +02:00
Tobias Geerinckx-Rice
655cda730d
eagle 6.5.0 -> 6.6.0
...
CC @bjornfor:
Version 6.5.0 has disappeared from Cadsoft's FTP site. This is the
closest version that's still available. Not extensively tested, but
works fine here.
Current version is 7.3.0. I leave that to someone more interested.
2015-06-22 07:13:54 +02:00
Vincent Laporte
542d20384f
Isabelle: fix download URL
2015-06-21 00:45:38 +02:00
Austin Seipp
a0301e9ce2
nixpkgs: saw-tools 0.1-20150609
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-18 11:37:51 -05:00
Michel Kuhlmann
46d46fd05a
R: update to 3.2.1
2015-06-18 14:00:29 +02:00
Austin Seipp
2dfb657b94
nixpkgs: picosat 936 -> 960, add myself as a maintainer
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-14 19:48:12 -05:00
Austin Seipp
44ef5a3ab0
cvc4: regenerate ./configure on rebuild
...
Otherwise some absurd error from ./configure crops up.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-14 19:48:11 -05:00
Austin Seipp
da76434dbd
nixpkgs: yices 2.2.1 -> 2.3.1, now with source
...
It's still under a non-commercial license, but the source build is waay
better than the binary build. Can probably work on OS X too now.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-14 19:48:11 -05:00
Austin Seipp
3d181a3175
nixpkgs: abc-verifier 20150406 -> 20150614
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-14 19:48:11 -05:00
Austin Seipp
6cfc2caaeb
nixpkgs/cvc4: touchups, add myself as maintainer
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-14 19:48:11 -05:00
Michael Raskin
59126fb3f8
Update golly
2015-06-14 11:22:07 +03:00
Thomas Tuegel
2a2448bcb7
Merge pull request #8182 from ttuegel/openblas
...
Numerical computing overhaul
2015-06-12 08:06:03 -05:00
Thomas Tuegel
4fb98dd6a7
jags: build with openblas
2015-06-12 07:56:04 -05:00
Austin Seipp
da6eec001a
nixpkgs: z3 4.3.2 -> 4.4.0
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-11 22:10:56 -05:00
Thomas Tuegel
e729a88474
R: build with openblas
...
Fixes #6393 .
2015-06-04 17:42:04 -05:00
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
