2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-20 20:53:48 +00:00
Commit Graph

1112 Commits

Author SHA1 Message Date
kzvi
befe89f3d7 lean: 3.31.0 -> 3.32.1 2021-08-23 15:43:00 -07:00
Artturi
f2f1718aae
Merge pull request from r-ryantm/auto-update/workcraft 2021-08-23 17:28:09 +03:00
Artturi
55fdaafe15
Merge pull request from r-ryantm/auto-update/verifast
verifast: 19.12 -> 21.04
2021-08-23 17:25:35 +03:00
R. RyanTM
6b086631c6 workcraft: 3.3.2 -> 3.3.5 2021-08-23 08:01:40 +00:00
R. RyanTM
a73fc504b7 verifast: 19.12 -> 21.04 2021-08-23 07:29:27 +00:00
Narazaki, Shuji
960ddb6f8f cadical: 1.3.0 -> 1.4.1 2021-08-22 20:46:34 +09:00
R. RyanTM
3760bcfd58 opensmt: 2.0.1 -> 2.1.0 2021-08-22 09:30:15 +00:00
davidak
f2b906617d
Merge pull request from Stunkymonkey/why3-phases
why3: deprecate phases
2021-08-19 04:06:56 +02:00
Gabriel Ebner
f267d39257
Merge pull request from r-ryantm/auto-update/elan
elan: 1.0.6 -> 1.0.7
2021-08-17 10:03:05 +02:00
R. RyanTM
b1868a8296 elan: 1.0.6 -> 1.0.7 2021-08-17 03:53:13 +00:00
Felix Buehler
c849ada0c5 why3: deprecate phases 2021-08-16 22:50:19 +02:00
Felix Buehler
8a8a949ffd tlaplusToolbox: deprecate phases 2021-08-16 21:54:44 +02:00
Felix Buehler
8ad1a7859a tlaps: deprecate phases 2021-08-16 21:54:22 +02:00
Sandro
7d75a19c60
Merge pull request from angustrau/logisim-evolution 2021-08-12 12:22:42 +02:00
Felix Buehler
f67a0a37f0 saw-tools: remove phases 2021-08-03 00:03:41 +02:00
Ben Siraphob
2f94991628 treewide: fix redirected URLs
Using the script in maintainers/scripts/update-redirected-urls.sh
2021-08-01 00:01:50 +07:00
R. RyanTM
1d4ae0cfb7 libpoly: 0.1.9 -> 0.1.10 2021-07-28 00:31:53 +00:00
Guillaume Girol
455712841c
Merge pull request from symphorien/bitwuzla
bitwuzla: init at unstable-2021-07-01
2021-07-26 19:45:46 +00:00
Angus Trau
351b7d24e2
logisim: create desktop entry () 2021-07-25 17:46:34 -04:00
Guillaume Girol
1894e8d945 bitwuzla: init at unstable-2021-07-01 2021-07-25 15:52:25 +02:00
Angus Trau
92cced04c6 logisim-evolution: init at 3.5.0 2021-07-25 19:52:24 +10:00
Guillaume Girol
0708fe494b cadical: install library 2021-07-23 21:19:27 +02:00
Ben Siraphob
a5049e8caa
Merge pull request from siraben/parallel-coq
coq: enable parallel building
2021-07-22 10:00:42 +07:00
Ben Siraphob
7c1d4d8255 coq: enable parallel building 2021-07-22 02:04:47 +07:00
Sandro
8472d44b82
Merge pull request from SuperSandro2000/SuperSandro2000-patch-4
logisim: cleanup
2021-07-20 19:48:37 +02:00
Sandro
fd1ab319b7
logisim: cleanup 2021-07-20 18:33:48 +02:00
Sandro
c401885fe1
Merge pull request from Stunkymonkey/logisim-phases
logisim: deprecate phases
2021-07-20 18:32:40 +02:00
Guillaume Girol
6554384a70 boolector: 3.2.1 -> 3.2.2 2021-07-19 16:11:01 -07:00
Jan van Brügge
e32da890c9
isabelle: Add desktop entry 2021-07-19 12:04:30 +02:00
Jan van Brügge
9111bd40b2
isabelle: 2020 -> 2021 2021-07-18 23:51:36 +02:00
Felix Buehler
82cb33a0ae treewide: remove meta.version 2021-07-18 00:07:38 +02:00
(cdep)illabout
299082636c
cedille: set no hydra platforms 2021-07-17 11:17:09 +09:00
(cdep)illabout
ff0c051daf
cedille: mark broken 2021-07-17 11:10:26 +09:00
Sandro
9b8e8b2047
Merge pull request from Stunkymonkey/verifast-phases
verifast: deprecate phases
2021-07-15 23:40:17 +02:00
Sandro
025cab89d9
Merge pull request from Stunkymonkey/workcraft-phases
workcraft: deeprecate phases
2021-07-15 21:59:16 +02:00
Vincent Laporte
e57571bdb6 gappa: 1.3.5 → 1.4.0 2021-07-15 07:55:52 +02:00
Felix Buehler
b6fb4cedaf verifast: deprecate phases 2021-07-14 16:41:30 +02:00
Felix Buehler
ac75afe239 logisim: deprecate phases 2021-07-14 16:40:28 +02:00
Felix Buehler
cdf9e86ad1 leo3-bin: deprecate phases 2021-07-14 16:38:38 +02:00
Felix Buehler
3680a85bcb workcraft: deeprecate phases 2021-07-14 16:33:41 +02:00
Gabriel Ebner
7880aaa756
Merge pull request from r-ryantm/auto-update/elan
elan: 1.0.2 -> 1.0.6
2021-07-04 10:19:58 +02:00
Sarunas Valaskevicius
5b69b1f3fe tlaToolbox: fix crash on file open dialog 2021-07-02 23:04:39 +01:00
Gabriel Ebner
b38329171a
Merge pull request from collares/lean-3.31
lean: 3.30.0 -> 3.31.0
2021-07-02 19:57:13 +02:00
Mauricio Collares
258e959faf lean: 3.30.0 -> 3.31.0 2021-07-01 20:47:08 -03:00
Ben Siraphob
e86f5bfa8f hol: expand platforms to unix 2021-07-01 22:19:02 +07:00
Théo Zimmermann
cc84f3906e coq: fix issue introduced in
This triggerred .
2021-06-30 16:38:39 +02:00
Théo Zimmermann
d3bb50e7da
Coq: adapt for upcoming 8.14 () 2021-06-30 04:47:31 +02:00
Vincent Laporte
d60534722e why3: use GTK3 2021-06-27 09:03:12 +02:00
Vincent Laporte
773bdf6998 why3: 1.3.3 → 1.4.0
framac: 22.0 → 23.0-rc1
2021-06-27 09:03:12 +02:00
R. RyanTM
b7ecc3db11 eprover: 2.5 -> 2.6 2021-06-23 11:11:41 +00:00