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
David Anderson
6f1319a4d6
symbiyosys: fix the interpreter of the sby
binary.
...
Signed-off-by: David Anderson <dave@natulte.net>
2021-02-10 18:45:44 -08:00
github-actions[bot]
bb5521a62c
Merge master into staging-next
2021-02-10 12:20:06 +00:00
Fabian Affolter
5247884859
z3: 4.8.9 -> 4.8.10
2021-02-09 12:07:38 +01:00
github-actions[bot]
8ab0b85ead
Merge staging-next into staging
2021-02-03 12:22:13 +00:00
Jarl G. Taxerås Flaten
813d14b9b7
coq: 8.13+beta1 -> 8.13.0 ( #109479 )
2021-02-03 08:34:47 +01:00
github-actions[bot]
81337921f5
Merge staging-next into staging
2021-01-31 00:46:33 +00:00
Sandro Jäckel
ced3ec6ce3
treewide: update permanent url redirects
2021-01-30 21:48:57 +01:00
github-actions[bot]
c367646dd4
Merge staging-next into staging
2021-01-29 12:23:58 +00:00
R. RyanTM
fe1239c794
lean: 3.25.0 -> 3.26.0
2021-01-29 05:15:16 +00:00
github-actions[bot]
798f7b136c
Merge staging-next into staging
2021-01-28 18:30:08 +00:00
Sandro
e368149fcd
Merge pull request #111003 from NieDzejkob/isabelle-vampire
...
isabelle: provide perl LWP for remote_vampire
2021-01-28 18:32:27 +01:00