Commit Graph

1231 Commits

Author SHA1 Message Date
Vincent Laporte
22e732d03c tamarin-prover: 1.6.0 → 1.6.1 2021-10-22 07:38:30 +02:00
Ben Darwin
3032353fcb abella: 2.0.6 -> 2.0.7 2021-10-19 13:25:44 -04:00
Théo Zimmermann
e242eef8a4 coq_8_14: 8.14+rc1 -> 8.14.0 2021-10-15 18:50:05 +02:00
Artturi
6d65c1c56d
Merge pull request #141541 from trofi/fix-yices-links 2021-10-15 05:07:49 +03:00
Shadaj Laddad
9d02ea53de cadical: include C++ headers 2021-10-14 15:23:05 -07:00
Vincent Laporte
cafe9f88fc
leo2: 1.6.2 → 1.7.0
Fix build with recent C++ compilers

Use a more recent OCaml (4.05)
2021-10-14 09:45:49 +02:00
Alyssa Ross
851b719ac6 treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate 2021-10-13 17:39:37 +00:00
Sergei Trofimovich
0b2d3bbfcb yices: 2.6.3 -> 2.6.2
2.6.3 is not a stable tag (and is really a 2.6.4 in disguise).
Failure is noticed by vbgl in https://github.com/NixOS/nixpkgs/pull/141241#issuecomment-942103854

The change downgrades from unstable to latest stable release and
adds a check for file presence to prevent upgrade that silently
breaks symlink.
2021-10-13 17:58:26 +01:00
Théo Zimmermann
3437b543fd coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
Vincent Laporte
e31bc3d26a coq2html: 1.2 → 1.3 2021-10-13 10:15:05 +02:00
Sergei Trofimovich
b18a746169
yices: 2.6.1 -> 2.6.3 (#141241)
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2021-10-12 23:09:47 +02:00
Vincent Laporte
17e2fbf2dc alt-ergo: 2.4.0 → 2.4.1 2021-10-12 14:41:54 +02:00
Gabriel Ebner
9044534a8d elan: 1.0.7 -> 1.1.0 2021-10-09 20:06:10 +02:00
Anders Kaseorg
4ce09e0e06 lean: 3.32.1 → 3.33.0
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2021-10-07 18:54:06 -07:00
Narazaki, Shuji
4de6574fb8 kissat: init at 2.0.1 2021-10-04 08:45:36 +09:00
Austin Seipp
d474571392 symbiyosys: 2020.08.22 -> 2021.09.13
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-09-29 13:14:27 -05:00
Bruce Collie
3e213b8699 z3: 4.8.10 -> 4.8.12 2021-09-24 11:46:21 +01:00
Naïm Favier
b2391a51d2 coq: add desktop file for coqide 2021-09-23 14:39:50 +02:00
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
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
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
Sandro
ad97ca4e51
Merge pull request #110912 from siraben/stdenv-lib-inherit
treewide: remove inherited stdenv.lib
2021-01-27 10:28:55 +01:00
Ben Siraphob
3bbad8b041 treewide: remove inherited stdenv.lib 2021-01-27 12:44:43 +07:00
Thomas Tuegel
0e418a1a18
Merge pull request #108888 from ttuegel/feature--staging--qt-no-mkDerivation
Qt: Do not require mkDerivation
2021-01-26 16:24:41 -06:00
Thomas Tuegel
5590e365e4
qtbase: Check for wrapQtAppsHook in setupHook 2021-01-25 15:56:15 -06:00
Pavol Rusnak
a6ce00c50c
treewide: remove stdenv where not needed 2021-01-25 18:31:47 +01:00
Mario Rodas
214d726b92
Merge pull request #110487 from r-ryantm/auto-update/lean
lean: 3.24.0 -> 3.25.0
2021-01-24 10:17:35 -05:00
volth
bc0d605cf1 treewide: fix double quoted strings in meta.description
Signed-off-by: Ben Siraphob <bensiraphob@gmail.com>
2021-01-24 19:56:59 +07:00
R. RyanTM
0119128f9e lean: 3.24.0 -> 3.25.0 2021-01-22 14:11:46 +00:00
sternenseemann
9212e03c13 acgtk: use dune install 2021-01-21 11:26:26 +01:00
zowoq
31f5dd3f36 treewide: editorconfig fixes
- remove trailing whitespace
- use spaces for indentation
2021-01-20 09:11:11 +10:00
Jonathan Ringer
9bb3fccb5b treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
continuation of #109595

pkgconfig was aliased in 2018, however, it remained in
all-packages.nix due to its wide usage. This cleans
up the remaining references to pkgs.pkgsconfig and
moves the entry to aliases.nix.

python3Packages.pkgconfig remained unchanged because
it's the canonical name of the upstream package
on pypi.
2021-01-19 01:16:25 -08:00
R. RyanTM
e776f923e4 elan: 0.10.2 -> 0.10.3 2021-01-18 15:20:28 +00:00
Ben Siraphob
badf51221d treewide: stdenv.lib -> lib 2021-01-16 17:58:11 +07:00
Michael Raskin
d714c53f17
fix mis-merge 2021-01-14 15:26:10 +00:00
Michael Raskin
f2210b7287
Merge branch 'master' into remove-opensmt 2021-01-14 14:22:22 +00:00
Profpatsch
4a7f99d55d treewide: with stdenv.lib; in meta -> with lib;
Part of: https://github.com/NixOS/nixpkgs/issues/108938

meta = with stdenv.lib;

is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.

This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.

The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
2021-01-11 10:38:22 +01:00
Jan Tojnar
dd72357155
Merge branch 'master' into staging-next 2021-01-10 23:24:33 +01:00
John Ericson
05b5b5491e
Merge pull request #108507 from Ericson2314/ott-mode
ott-mode: Factor our from ott
2021-01-10 14:30:59 -05:00
Michael Weiss
8ae8602bf7
Merge branch 'master' into staging-next
Manually resolved a conflict in
pkgs/development/libraries/libbladeRF/default.nix.
2021-01-09 12:16:11 +01:00
Cyril Cohen
9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00