JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
287,676 Commits 2 Branches 0 Tags 13 GiB
2a11f1f5cc
Commit Graph

1051 Commits

Author SHA1 Message Date
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
Jakub Kądziołka
df410f8de7
isabelle: provide perl LWP for remote_vampire 2021-01-28 11:05:39 +01:00
github-actions[bot]
06efb52369
Merge staging-next into staging 2021-01-27 18:28:34 +00:00
Roland Coeurjoly
cbad557fe2
saw-tools: update license (#110920) 2021-01-27 17:52:41 +01:00
Ben Siraphob
82454e9df8 treewide: remove implicit use of stdenv.lib 2021-01-27 20:04:57 +07:00
github-actions[bot]
1b5da764a7
Merge staging-next into staging 2021-01-27 12:24:09 +00:00