Commit graph

409 commits

Author SHA1 Message Date
Michael Raskin ce9c7dd0d6 Merge pull request #21822 from rht/master
coq_HEAD: Update to the latest commit
2017-04-30 12:49:20 +02:00
James ‘Twey’ Kay c54588d250 redprl: 2016-09-22 -> 2017-03-28 2017-03-28 21:02:30 +01:00
rht bbd1c3d58a
coq_HEAD: Update once more 2017-03-18 01:51:38 +03:00
rht 7264efb5cb
Fold in specific ocaml version choice into let 2017-03-18 01:51:37 +03:00
rht 975d040f07
coq_HEAD: Update to the latest commit 2017-03-18 01:50:26 +03:00
Robin Gloster f70a896094
hol: mark as broken 2017-03-14 15:36:06 +01:00
Christopher League 242f6caac6 logisim: use better jar wrapper, closes #23068 2017-02-26 10:19:32 +01:00
Gabriel Ebner cc647804f1 lean: 3.0.0 -> 3.1.0 2017-02-26 08:50:15 +01:00
Gabriel Ebner ac10c19746 veriT: 201506 -> 2016 2017-02-01 19:43:02 +01:00
Vincent Laporte d40b680101 coq-8.4: fix build of ssreflect and mathcomp 2017-01-25 13:14:31 +00:00
Vincent Laporte 798a87159b Coq: propagates the findlib package
So that Coq libraries that need it can easyly use it
2017-01-25 10:29:13 +00:00
Vincent Laporte 9b949be617 coq: minor refactoring 2017-01-25 10:29:13 +00:00
Vincent Laporte a30e8db9f0 coq: merge files 8.5.nix and 8.6.nix into default.nix 2017-01-25 10:29:13 +00:00
Vincent Laporte 86b74fb76b alt-ergo: 0.99.1 -> 1.30 2017-01-21 13:44:41 +00:00
Vincent Laporte 8c928cd55a why3: 0.87.1 -> 0.87.3 2017-01-21 13:31:10 +00:00
Gabriel Ebner 6c9f4a61be lean: 2017-01-14 -> 3.0.0 2017-01-20 10:59:54 +01:00
Gabriel Ebner 5ad75554b6 lean: 2017-01-06 -> 2017-01-14 2017-01-14 09:37:48 +01:00
Pascal Wittmann 89dfe67f81 Merge pull request #21819 from AtnNn/isabelle
isabelle: 2016 -> 2016-1
2017-01-13 21:58:57 +01:00
Etienne Laurin 3d301e384e isabelle: 2016 -> 2016-1 2017-01-11 17:33:04 -05:00
Gabriel Ebner 74a97421ce lean: 2016-12-30 -> 2017-01-06 2017-01-06 11:57:40 +01:00
Domen Kožar af2cfc076f haskellPackages.z3: fix #16357 2017-01-03 23:10:24 +01:00
Gabriel Ebner 68b2d43c88 lean: 2016-12-08 -> 2016-12-30 2016-12-31 13:51:10 +01:00
John Wiegley 4888bfecc2
coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect
Addresses #14829
2016-12-22 10:35:56 -08:00
John Wiegley 838a3b4294
coq_8_6: 8.6rc1 -> 8.6 2016-12-14 13:46:07 -08:00
John Wiegley 62934023c3
coq_HEAD: Update to the latest commit as of 2016-12-13 2016-12-13 08:09:23 -08:00
John Wiegley 360234dab6
coq_8_6: new package, based on Coq 8.6rc1 2016-12-13 07:27:15 -08:00
Eelco Dolstra c5b96ca801 minisat: Fix build on Darwin 2016-12-09 19:57:07 +01:00
Gabriel Ebner a2210a9efd lean: init at 2016-12-08 2016-12-08 10:30:28 -05:00
Gabriel Ebner ce2a9a8f9b lean2: 2016-07-05 -> 2016-11-29
Renamed from lean since upstream renamed it as well.  The lean attribute
in nixpkgs will now refer to the new lean 3 version.
2016-12-08 10:30:28 -05:00
Vincent Laporte 431c564993 hol_light: fix build with Camlp5-6.17 2016-11-29 18:34:21 +00:00
Shea Levy 2ded9f3f7b coq: Improve emacs buffer handling 2016-11-13 14:01:01 -05:00
Austin Seipp 0bdc0143fe nixpkgs: proverif 1.94 -> 1.95
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-11-10 03:45:51 +00:00
Gabriel Ebner 8c4aee4c79 z3: 4.4.1 -> 4.5.0 2016-11-08 16:14:16 -05:00
Vincent Laporte b028b5f4ef coq-8.5: ease the selection of an older (patch level) version 2016-11-02 19:39:22 +01:00
Vincent Laporte b840da02cd coq: build and install the votour utility 2016-11-02 19:23:15 +01:00
Vincent Laporte da68cc24f0 coq: 8.5pl2 -> 8.5pl3 2016-11-02 19:23:15 +01:00
Will Dietz 0443affe17 yices: Add darwin to meta.platforms 2016-10-30 13:38:07 -05:00
Will Dietz 3cf27a654a yices: Build in parallel, run tests, fix test shebang. 2016-10-26 13:01:21 -05:00
Will Dietz 8584ec97ed yices: fix install target by using 'true' as ldconfig 2016-10-26 12:59:34 -05:00
Will Dietz 1f89121551 yices: 2.3.1 -> 2.5.1 2016-10-26 12:59:06 -05:00
Frederik Rietdijk 8963dae343 z3: use python2 2016-10-18 23:16:07 +02:00
Shea Levy eca0f17ad2 nix-buffer support improvements.
Use inherit-local, add per-package elisp hooks.
2016-10-07 10:31:37 -04:00
Kirill Boltaev 3e646865f4 treewide: use ocaml.version (#19192) 2016-10-05 09:32:30 +02:00
Aneesh Agrawal fcee1d0b28
Remove redundant -DCMAKE_BUILD_TYPE=Release flags
Since commit 183d05a0 in 2012, this is the default.

fixes #18000
2016-10-01 16:13:41 +02:00
Brian McKenna 57e1250d89 redprl: remove explicit builder
patchPhase wasn't being called for me so I've switched out the explicit
builder for the generic form. I can now build RedPRL on locally on
NixOS.
2016-09-29 10:52:29 +10:00
Anthony Cowley a523351314 redprl: patch install script shebangs 2016-09-27 18:24:06 -04:00
Kirill Boltaev e61663a233 treewide: move to ocaml-ng system 2016-09-26 02:36:49 +03:00
Anthony Cowley a3c26fec32 redprl: init at 2016-09-22 2016-09-23 20:37:20 -04:00
Gabriel Ebner dd4a015aa8 eprover: 1.9 -> 1.9.1 2016-09-20 11:57:14 -04:00
Kirill Boltaev bccd75094f treewide: explicitly specify gtk and related package versions 2016-09-12 18:26:06 +03:00