mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 11:32:03 +00:00
Code Issues Wiki Activity
317376 commits 204 branches 125 tags 5.9 GiB
Commit graph

1113 commits

Author SHA1 Message Date
R. RyanTM 1c9cbe8a05 opensmt: 2.1.0 -> 2.1.1 2021-09-14 18:44:37 +00:00
kzvi befe89f3d7 lean: 3.31.0 -> 3.32.1 2021-08-23 15:43:00 -07:00
Artturi f2f1718aae
Merge pull request #135404 from r-ryantm/auto-update/workcraft 2021-08-23 17:28:09 +03:00
Artturi 55fdaafe15
Merge pull request #135398 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 #134361 from Stunkymonkey/why3-phases 
why3: deprecate phases
 2021-08-19 04:06:56 +02:00
Gabriel Ebner f267d39257
Merge pull request #134394 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 #131463 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 #130663 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 (#131450) 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 #130971 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 #130812 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 #130192 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 #130193 from Stunkymonkey/verifast-phases 
verifast: deprecate phases
 2021-07-15 23:40:17 +02:00
Sandro 025cab89d9
Merge pull request #130187 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 #124454 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 #128926 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 #128603 
This triggerred coq-community/coq-nix-toolbox#42.
 2021-06-30 16:38:39 +02:00
Théo Zimmermann d3bb50e7da
Coq: adapt for upcoming 8.14 (#128603) 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