Michael Raskin
011f69992a
satallax: 1.4 -> 2.7
2016-03-31 16:23:08 +02:00
Michael Raskin
016d523d82
cvc4: fix the build by skipping line markers in cpp expansions during configure, helps the configure script to find Boost version
2016-03-31 01:52:33 +02:00
Nicolas B. Pierron
72c6f8a140
Ensure that we can evaluate the platform attribute of ocaml packages.
2016-03-13 19:08:26 +00:00
Vincent Laporte
014a30da93
why3: 0.86.2 -> 0.86.3
...
And merge with ocamlPackages.why3
(the OCaml library would not work correctly if packaged separately).
2016-03-04 09:29:10 +01:00
Vincent Laporte
c2a2c2ecd4
ltl2ba: fix build on darwin
2016-03-03 10:24:13 +01:00
Vincent Laporte
694a5ba291
eprover: fix build on Darwin
2016-02-29 15:35:40 +01:00
Gabriel Ebner
87b0a41ac5
isabelle: 2015 -> 2016
2016-02-23 14:19:13 +01:00
Sven Keidel
ca21ae0eda
isabelle: 2014 -> 2015
...
Picked from #8510 . /cc maintainer @jwiegley.
2016-02-03 13:51:35 +01:00
Gabriel Ebner
73468cf4d4
tptp: replace use of builderDefsPackage
2016-01-29 10:33:35 +01:00
Gabriel Ebner
462958b3b7
tptp: 6.1.0 -> 6.3.0
2016-01-29 09:37:11 +01:00
John Wiegley
5009b4a8cf
coq_8_5: 8.5rc1 -> 8.5
2016-01-25 12:33:31 -08:00
Tobias Geerinckx-Rice
32d40f0f98
Remove no longer (or never) referenced patches
...
55 files changed, 6041 deletions. Tested with `nix-build -A tarball`.
2016-01-24 02:02:21 +01:00
Arseniy Seroka
f63db297d6
Merge pull request #12519 from gebner/metis-20160102
...
metis-prover: 2.3.20160101 -> 2.3.20160102
2016-01-21 18:39:57 +03:00
Ricardo M. Correia
194168b722
z3: 4.4.0 -> 4.4.1
2016-01-21 13:27:12 +01:00
Gabriel Ebner
d714963d1b
metis-prover: 2.3.20160101 -> 2.3.20160102
2016-01-21 11:26:10 +01:00
Gabriel Ebner
8a26d9b84f
lean: add wrapper for linja
2016-01-17 09:29:18 +01:00
Gabriel Ebner
36c430de12
lean: 20150821 -> 20160117
2016-01-17 09:29:05 +01:00
Vincent Laporte
fde89b6762
alt-ergo: also supported on Darwin
2016-01-04 17:17:44 +01:00
Gabriel Ebner
711e9e20de
metis-prover: 2.3 -> 2.3.20160101
2016-01-02 16:04:03 +01:00
John Wiegley
d80aa87b13
coqPackages_8_5.coq: 8.5b2 -> 8.5rc1
2015-12-21 16:12:43 -08:00
Vincent Laporte
38eb17c2e2
why3: 0.86.1 -> 0.86.2
2015-12-01 11:04:08 +01:00
Arseniy Seroka
c6932509b8
Merge pull request #11302 from fkz/sad
...
add package: system for automated deduction
2015-11-27 22:25:44 +03:00
Fabian Schmitthenner
dc164dc2ee
system for automated deduction: init at 2.3-25
2015-11-27 15:12:09 +00:00
John Wiegley
2b8ef119c5
Revert "coq: 8.5b2 -> 8.5b3"
...
This reverts commit c111b0cd4d
2015-11-25 12:58:07 -08:00
Joachim Fasting
4229525eac
spass: reimplement using mkDerivation
2015-11-24 14:45:15 +01:00
Joachim Fasting
0a4e12c0e2
opensmt: reimplement using mkDerivation
2015-11-24 14:45:15 +01:00
Joachim Fasting
c6d645803a
iprover: reimplement using mkDerivation
2015-11-24 14:45:15 +01:00
Joachim Fasting
a228252b69
cvc3: reimplement using mkDerivation
2015-11-24 14:45:15 +01:00
Russell O'Connor
c111b0cd4d
coq: 8.5b2 -> 8.5b3
2015-11-19 00:10:22 -05:00
Marco Maggesi
a487b3326b
Update HOL Light to version 2015-11-02
2015-11-03 15:24:56 +01:00
Vincent Laporte
9a1245280d
hol_light: add support for camlp5 > 6.12
2015-09-23 19:04:51 +02:00
Gabriel Ebner
5493dccfbb
metis-prover: init at 2.3
2015-09-21 21:42:20 +02:00
William A. Kennington III
773b4deb7c
Merge commit 'a6f6c0e' into master.upstream
...
This is a partial merge of staging where we have up to date binaries for
all packages.
2015-09-15 12:16:49 -07:00
Marco Maggesi
cb2a05b826
HOL Light: findlib is not necessary (nor actually used). Remove dependency.
2015-09-13 18:08:20 +02:00
Russell O'Connor
4cc5f5dbb6
coq: Add csdp dependency
...
The csdp program is invoked for some uses of Micromega tactics.
2015-09-10 11:50:38 -04:00
Austin Seipp
d8858e48e2
nixpkgs/jonprl: minor touchups
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-09-09 07:48:55 -05:00
Brian McKenna
e9bdf0fc07
JonPRL: init at 0.1.0
2015-09-09 21:23:48 +10:00
Vladimír Čunát
8f33b8cc93
mass rewrite of find parameters to cross-platform style
...
Fixes #9044 , close #9667 . Thanks to @taku0 for suggesting this solution.
Now we have no modes starting with `/` or `+`.
Rewrite the `-perm` parameters of find:
- completely safe: rewrite `/0100` and `+100` to `-0100`,
- slightly semantics-changing: rewrite `+111` to `-0100`.
I cross-verified the `find` manual pages for Linux, Darwin, FreeBSD.
2015-09-06 10:26:30 +02:00
Marco Maggesi
97b27e69c0
Update HOL Light to svn r244.
2015-09-01 16:30:27 +02:00
Austin Seipp
16b47aff4b
nixpkgs: saw-tools 0.1-20150609 -> 0.1.1-20150731
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-08-30 02:58:47 -05:00
Gabriel Ebner
0349b05695
veriT: 201410 -> 201506
2015-08-26 09:31:39 +02:00
Austin Seipp
1239465314
nixpkgs: lean 20150328 -> 20150821
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-08-21 13:57:16 -05:00
Michael Raskin
6863fde515
E prover: 1.8 -> 1.9
2015-08-08 21:01:31 +03:00
Michael Raskin
178014373e
E prover: switch to the new location
2015-07-05 18:52:42 +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
laMudri
723cd518b9
hol: k.8 -> k.10, closes #8477
2015-06-24 10:04:54 +02:00
Vincent Laporte
542d20384f
Isabelle: fix download URL
2015-06-21 00:45:38 +02:00
