Vladyslav M
77d6eebc66
Merge pull request #90424 from kini/drat-trim/bump
...
drat-trim: 2017-08-31 -> 2020-06-05
2020-07-26 22:50:14 +03:00
Peter Simons
b4dd96b206
sad: mark package as broken because if depends on dropped ghc-8.4.4
...
Ping @schmitthenner.
2020-07-24 13:06:29 +02:00
Martin Lundfall
424936ed33
cvc4: 1.6 -> 1.8
...
Co-authored-by: Gabriel Ebner <gebner@gebner.org>
Update pkgs/applications/science/logic/cvc4/default.nix
Co-authored-by: Gabriel Ebner <gebner@gebner.org>
2020-07-18 17:48:10 +02:00
Keshav Kini
b28d329c62
drat-trim: 2017-08-31 -> 2020-06-05
2020-07-17 21:38:31 -07:00
Austin Seipp
44f8640ae4
mcy: 2020.03.21 -> 2020.07.06
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 10:33:09 -05:00
Austin Seipp
a8e8e99458
symbiyosys: 2020.05.18 -> 2020.07.03
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
Austin Seipp
63e55fae00
yosys: 2020.06.19 -> 2020.07.07
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
Jörg Thalheim
223c91d032
cryptominisat: use fetchpatch
2020-07-09 08:21:21 +01:00
Jörg Thalheim
e3d703bb92
cryptominisat: fix build on darwin
2020-07-09 08:11:28 +01:00
R. RyanTM
3628d0d893
cryptominisat: 5.7.1 -> 5.8.0
2020-07-08 04:51:18 +00:00
R. RyanTM
a07fe7164b
workcraft: 3.2.6 -> 3.3.0
2020-07-02 10:07:55 -07:00
Gabriel Ebner
ab4bc959e7
Merge pull request #92044 from r-ryantm/auto-update/lean
...
lean: 3.16.2 -> 3.16.5
2020-07-02 15:27:58 +02:00
R. RyanTM
39ee2ab9c0
lean: 3.16.2 -> 3.16.5
2020-07-02 13:12:58 +00:00
Vincent Laporte
d34bde6ac7
why3: compatibility with JSoO 3.6.0
2020-06-28 09:59:04 +02:00
zowoq
c7e61112df
treewide: remove deprecated value Application from makeDesktopItem
2020-06-25 12:18:37 +10:00
Daniël de Kok
5f0cf22c59
cadical: enable tests
2020-06-24 15:10:53 -07:00
Maximilian Bosch
44b3530cf1
Merge pull request #90491 from shnarazk/cadical-1.3.0-PR
...
cadical: 1.2.1 -> 1.3.0
2020-06-23 23:33:10 +02:00
Vincent Laporte
a8bb61222f
coq_8_12: init at 8.12+β1
2020-06-19 12:28:42 +02:00
Narazaki, Shuji
d6c90aea17
cadical: 1.2.1 -> 1.3.0
2020-06-15 22:56:41 +09:00
R. RyanTM
e63bfcef96
lean: 3.15.0 -> 3.16.2
2020-06-14 19:32:20 +00:00
Austin Seipp
23c9c3779d
symbiyosys: 2020.03.24 -> 2020.05.18
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Austin Seipp
13e52db31e
yosys: 2020.03.24 -> 2020.06.11
...
Also includes a bump to `abc-verifier`.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Symphorien Gibol
0a488516be
boolector: 3.0.0 -> 3.2.1
...
enable tests
optionnally enable gmp
2020-06-08 17:32:07 -05:00
Symphorien Gibol
90b75531a5
btor2tools: pre55 -> 1.0.0-pre
...
version comes from the VERSION file in the repo
2020-06-08 17:32:07 -05:00
R. RyanTM
25300419fd
lean: 3.14.0 -> 3.15.0
2020-06-06 10:55:48 +00:00
Daiderd Jordan
b7ddbd52bd
treewide: replace SRI hashes
2020-06-01 15:24:19 +02:00
R. RyanTM
8295aa6d8b
cryptominisat: 5.7.0 -> 5.7.1
2020-05-27 13:51:14 -07:00
R. RyanTM
5841bc46f8
proverif: 2.00 -> 2.01
2020-05-27 12:07:52 -07:00
zowoq
cb4cc7a480
sad: use patch file extension
2020-05-26 14:50:50 +10:00
R. RyanTM
7573e99a60
lean: 3.13.1 -> 3.14.0
2020-05-24 22:22:11 +00:00
Vincent Laporte
48f0d8b3c8
coq_8_11: 8.11.1 → 8.11.2
2020-05-20 19:21:42 +02:00
R. RyanTM
748e2fcf6c
elan: 0.10.0 -> 0.10.2
2020-05-19 05:02:43 +00:00
Mario Rodas
b022ecbf5d
lean: 3.10.0 -> 3.13.1
2020-05-16 04:20:00 -05:00
Gabriel Ebner
115fa1c129
elan: 0.9.0 -> 0.10.0
2020-05-08 17:17:03 +02:00
Gabriel Ebner
f6f5f6a30f
elan: 0.8.0 -> 0.9.0
2020-05-07 15:35:13 +02:00
Yurii Rashkovskii
c73875ea1e
tlaplus: 1.5.6 -> 1.7.0
2020-05-06 12:26:10 -07:00
R. RyanTM
0a115f8087
cryptominisat: 5.6.8 -> 5.7.0
2020-05-04 01:41:26 -07:00
Mario Rodas
3253c03d2e
lean: 3.9.0 -> 3.10.0
2020-05-02 04:20:00 -05:00
Pavol Rusnak
461a252bee
verifast: change license to MIT
...
It seems verifast was relicensed to MIT in 2016:
b3c1bce76a
2020-04-23 09:59:33 +00:00
Benjamin Hipple
e4db75f46d
Merge pull request #84535 from bcdarwin/update-beluga
...
beluga: 20180403 -> unstable-2020-03-11
2020-04-19 22:53:50 -04:00
Ben Darwin
ad7b7367b6
beluga: 20180403 -> unstable-2020-03-11
2020-04-19 21:54:06 -04:00
Mario Rodas
f37c9226fc
lean: 3.8.0 -> 3.9.0
2020-04-18 04:20:00 -05:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Mario Rodas
8e537ad391
lean: 3.7.2 -> 3.8.0
2020-04-09 10:40:00 -05:00
Jonathan Ringer
3238302827
libpoly: fix src
2020-04-09 11:22:53 -07:00
R. RyanTM
f4a9fe36fa
libpoly: 0.1.7 -> 0.1.8
2020-04-09 10:29:28 -07:00
Vincent Laporte
f4ff33cce6
alt-ergo: 2.3.1 → 2.3.2
2020-04-08 10:23:48 +02:00
Vincent Laporte
d6a8d0ca5b
coq_8_11: 8.11.0 → 8.11.1
2020-04-05 15:32:32 +02:00
Narazaki, Shuji
c5a12e33d2
cadical: init at 1.2.1
2020-04-05 00:22:36 +09:00
Austin Seipp
765b2fd866
mcy: 2020.03.16 -> 2020.03.21
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
