alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
304047 commits 217 branches 121 tags 4.5 GiB
Commit graph

1090 commits

Author SHA1 Message Date
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
R. RyanTM b7ecc3db11 eprover: 2.5 -> 2.6 2021-06-23 11:11:41 +00:00
R. RyanTM 816d212fa2 gappa: 1.3.5 -> 1.4.0 2021-06-16 13:16:13 -07:00
Vincent Laporte 5ca9831cb1 ocamlPackages.menhir: 20190626 → 20210419 
ocamlPackages.menhirLib: init at 20210419
ocamlPackages.menhirSdk: init at 20210419
 2021-06-05 13:38:01 +02:00
Mauricio Collares cbaf78cdaa lean: substitute release commit sha1 2021-05-26 11:53:55 -03:00
R. RyanTM 15c278930c elan: 1.0.2 -> 1.0.6 2021-05-26 05:44:59 +00:00
Robert Scott bcc99b83d0 libpoly: fix darwin build 
issue reported upstream
 2021-05-21 20:21:20 -07:00
Stéphan Kochen acf640be7b elan: fix darwin build 2021-05-15 12:02:46 +02:00
maralorn 881d2af5ee
Merge pull request #122286 from NixOS/haskell-updates 2021-05-11 02:31:06 +02:00
Malte Brandy 39c0dd99a4
tamarin-prover: Mark broken 2021-05-11 01:56:48 +02:00
Ben Siraphob 418a37d99c coq2html: 20170720 -> 1.2 2021-05-09 22:00:15 +02:00
R. RyanTM 2c143443f7 libpoly: 0.1.8 -> 0.1.9 2021-05-08 18:34:00 -07:00
Jan Tojnar 468cb5980b gnome: rename from gnome3 
Since GNOME version is now 40, it no longer makes sense to use the old attribute name.
 2021-05-08 09:47:42 +02:00
Malte Brandy 2a11f1f5cc
Merge branch 'master' into haskell-updates 2021-05-07 15:03:54 +02:00
Arnout Engelen b68130fd2c
test-utilities: version test 
Extract 'version test' to a reusable test utility as discussed in
https://github.com/NixOS/nixpkgs/pull/119636#issuecomment-826137021 and
 2021-05-07 09:53:35 +02:00
sternenseemann eaeb69862c petrinizer: restrict platforms by sbv 
sbv has the most limited range of platforms of the dependencies.
 2021-05-06 16:24:58 +02:00
sternenseemann 73c2dd4aa6 petrinizer: fix build 
* take z3 haskell package from haskellPackages
* take sbv 7.13 from haskellPackages, apply patch fixing build
  with GHC >= 8.8.8
 2021-05-06 11:43:59 +02:00
R. RyanTM 96e1cc0768 lean: 3.29.0 -> 3.30.0 2021-05-01 05:49:45 +00:00
R. RyanTM e99e9f2d47 elan: 1.0.0 -> 1.0.2 2021-04-29 00:04:34 -04:00
Gabriel Ebner a062505e10
Merge pull request #120177 from r-ryantm/auto-update/elan 
elan: 0.11.0 -> 1.0.0
 2021-04-27 22:52:12 +02:00
R. RyanTM 32cb3382e5 elan: 0.11.0 -> 1.0.0 2021-04-27 22:32:13 +02:00
Gabriel Ebner abbc2384d7
Merge pull request #120822 from r-ryantm/auto-update/lean 
lean: 3.28.0 -> 3.29.0
 2021-04-27 22:28:19 +02:00
R. RyanTM 4ccb9422c7 lean: 3.28.0 -> 3.29.0 2021-04-27 05:34:13 +00:00
Vincent Laporte 35dfa0e927 alt-ergo: 2.3.3 → 2.4.0 2021-04-26 08:32:18 +02:00