Michael Raskin
|
49c419cf3e
|
Merge pull request #25117 from lucas8/cubicle
cubicle: init at 1.0.2
|
2017-05-01 14:26:52 +02:00 |
|
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 |
|
lucas8
|
eedc6799b6
|
cubicle: init at 1.0.2
|
2017-04-25 22:02:42 +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 |
|