Commit graph

1067 commits

Author SHA1 Message Date
Mauricio Collares 258e959faf lean: 3.30.0 -> 3.31.0 2021-07-01 20:47:08 -03: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
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
R. RyanTM 82bc3d6c28 clingo: 5.4.1 -> 5.5.0 2021-04-22 07:44:27 +00:00
Mario Rodas d2275796d1 beluga: 2020-03-11 -> 1.0 2021-04-01 04:20:00 +00:00
Vincent Laporte ab16ad8764 coq_8_13: 8.13.1 → 8.13.2 2021-04-16 22:32:31 +02:00
Frederik Rietdijk d20a05e963 libpoly: use python3 2021-04-03 17:06:22 +02:00
Frederik Rietdijk 7865ac1046 lean2: stay with python2
broken, so who knows...
2021-04-03 17:06:21 +02:00
Gabriel Ebner 109d6b3bdb
Merge pull request #117712 from gebner/elan0110
elan: 0.10.3 -> 0.11.0
2021-03-26 19:58:29 +01:00
Gabriel Ebner 0661cf4882 elan: 0.10.3 -> 0.11.0
Also adapt the patchelf patch from rustup, since Lean 4 now dynamically
links to gmp.
2021-03-26 19:16:33 +01:00
Mario Rodas 01f3ceeaa9
Merge pull request #116630 from r-ryantm/auto-update/lean
lean: 3.27.0 -> 3.28.0
2021-03-25 19:15:00 -05:00
Paul Liétar 6f8eb1e65a coq: enable coqide on darwin
This was disabled a while ago, when itstool was broken on darwin.
Now that itstool works again, it can be re-enabled.
2021-03-23 08:17:13 +01:00
R. RyanTM fadcc52955 lean: 3.27.0 -> 3.28.0 2021-03-17 14:16:02 +00:00
Samuel Gräfenstein 9517398973
treewide: gnome3.defaultIconTheme -> gnome3.adwaita-icon-theme
Fix building with `config.allowAliases = false;`.
2021-03-17 00:00:15 +01:00
mucaho ddf1821112 tla-toolbox: 1.7.0 -> 1.7.1
* updates package version
* fixes #114741
* fixes TLC model check call
2021-03-14 12:27:35 -04:00
sternenseemann 6f2fbf5f0b treewide: add missing lib inputs
This fixes hopefully all remaining missing lib inputs, likely introduced
as a regression by our recent treewide switch from stdenv.lib to lib.
These instances are all I could find using nix-instantiate --parse using
the following command:

    find "$NIXPKGS" -name '*.nix' \
      -and ! -path "$NIXPKGS/pkgs/development/interpreters/python/cpython/docs/template.nix" \
      -and ! -path '$NIXPKGS/.git/**' \
      -print0 | xargs -0 nix-instantiate --parse >/dev/null
2021-03-03 13:40:45 +01:00
Vincent Laporte cd43a53947 coq_8_13: 8.13.0 → 8.13.1 2021-03-02 09:04:40 +01:00
R. RyanTM 4dd9084ca9 lean: 3.26.0 -> 3.27.0 2021-02-28 15:14:35 +00:00
Sandro 7918f4b407
Merge pull request #114539 from SuperSandro2000/z3-java
z3: Add output for Java bindings (*.jar and *.so)
2021-02-27 11:15:31 +01:00
Lorenz Leutgeb 7306864977
z3: Add output for Java bindings (*.jar and *.so) 2021-02-27 09:01:25 +01:00
Frederik Rietdijk c456a2512f Merge master into staging-next 2021-02-26 10:25:13 +01:00
Vincent Laporte a346c68411 acgtk: 1.5.1 → 1.5.2 2021-02-24 08:13:06 +01:00
Vladimir Serov f4eddc2fad hol: 10 -> 14
also cleared broken status; builds on NixOS

Signed-off-by: Vladimir Serov <me@cab404.ru>
2021-02-23 21:31:26 -05:00
Vincent Laporte f9a4e6b1e2 alt-ergo: use Dune 2 2021-02-23 22:11:44 +01:00
Ben Siraphob e03c068af5 treewide: makeWrapper buildInputs to nativeBuildInputs 2021-02-19 20:09:16 +07:00
github-actions[bot] 9185e731d2
Merge master into staging-next 2021-02-11 12:20:09 +00:00