dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
414,596 Commits 3 Branches 0 Tags 4.3 GiB
69e6f91ed1
Commit Graph

1440 Commits

Author SHA1 Message Date
Michael Raskin
df3adb0398
Merge pull request #144502 from r-ryantm/auto-update/opensmt 
opensmt: 2.1.1 -> 2.2.0
 2021-11-03 18:23:06 +00:00
R. Ryantm
8fed17e682 opensmt: 2.1.1 -> 2.2.0 2021-11-03 18:03:12 +00:00
R. Ryantm
14ee52edff elan: 1.3.0 -> 1.3.1 
(cherry picked from commit 4cb7820ac9)
 2021-11-03 10:51:13 +01:00
Vincent Laporte
f727a6aebe why3: remove spurious camlp5 dependency 2021-11-01 20:37:57 +01:00
Mauricio Collares
89d7336c20 lean: 3.34.0 -> 3.35.0 2021-11-01 19:17:17 +01:00
Mauricio Collares
c707a468a4 lean: 3.33.0 -> 3.34.0 2021-11-01 19:17:17 +01:00
Gabriel Ebner
f13aa788e1 elan: 1.2.0 -> 1.3.0 2021-11-01 13:37:56 +01:00
Smaug123
925ab444c9 elan: 1.1.0 -> 1.2.0 
The move to 1.1.0 broke Darwin: the patch introduced during that move
is also required on Darwin, but is hidden behind a Linux-specific
optional. The patch has since made it upstream, so the easiest fix
is simply to upgrade Elan.
 2021-10-31 21:41:38 +00:00
Sergei Trofimovich
597eb07e00 yices: drop symlink hack, avoid ldconfig on linux 
Reported by sternenseemann as a failure on darwin:
https://github.com/NixOS/nixpkgs/pull/141541#discussion_r739634263

Instead of emulating symlink creation in `.nix` file let's create
them in Makefile.build directly in a way that can be upstreamed.
 2021-10-31 09:08:41 +01:00
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
Jan Tojnar
f19eb635b4
Merge branch 'master' into staging-next 
b04fc593e7 seems to have accidentally changed mkDerivation function for dfilemanager and solarus-quest-editor so I have reverted that here.
 2021-01-07 13:04:31 +01:00
Devon Richards
7a16349789
lean: 3.23.0 -> 3.24.0 
We have to update to be able to use the current version of mathlib.
 2021-01-06 21:38:04 -06:00
John Ericson
4eb13669a0 ott: Don't also install emacs mode 
There is now a separate package for that.
 2021-01-05 14:41:52 -05:00
Ben Siraphob
3ae5e6ce03 treewide: remove enableParallelBuilding = true if using cmake 2021-01-03 18:37:40 +07:00
freezeboy
9fd99b5a32 opensmt: 20101017 -> 2.0.1 2021-01-01 23:38:04 +01:00
Ben Siraphob
b04fc593e7 treewide: cmake buildInputs to nativeBuildInputs, minor cleanups 2021-01-01 11:52:33 +07:00
Vincent Laporte
66c0fc3609 cryptoverif: 2.03pl1 → 2.04 2020-12-18 08:20:10 +01:00
Vincent Laporte
b49a3fb852 cryptoverif: fix search for default library 2020-12-18 08:20:10 +01:00
Vincent Laporte
c5556b7454 coq_8_12: 8.12.1 → 8.12.2 2020-12-16 07:45:54 +01:00
Vincent Laporte
de8205f8bb coq_8_13: init at 8.13+β1 2020-12-15 21:13:40 +01:00
Alyssa Ross
8b8dfc5d40
cedille: 1.1.1 -> 1.1.2; fix build 2020-12-10 23:07:32 +00:00
R. RyanTM
cec747d712 clingo: 5.4.0 -> 5.4.1 2020-12-07 13:03:03 +00:00
Austin Seipp
e601758166
abc-verifier: 2020.06.22 -> 2020.11.24 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-12-02 07:18:05 -06:00
Austin Seipp
a3ae8a4fcf
Merge pull request #100750 from arcz/boolector 
boolector: enable darwin build
 2020-12-02 03:19:54 -06:00
Artur Cygan
da3c0ca0dd boolector: fix darwin build 2020-11-29 22:31:54 +01:00
Artur Cygan
38e6f15d98 btor2tools: fix install_name on darwin 2020-11-29 22:31:31 +01:00
Vincent Laporte
8ee7c2505f proverif: install emacs mode 2020-11-29 14:05:14 +01:00
Sandro
4dc26ca31d
Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox 
tlaplusToolbox: 1.6.0 -> 1.7.0
 2020-11-29 04:01:21 +01:00
Michael Raskin
3ed321dfab z3: enable build on non-x86_64 unix; checked the build on aarch64-linux 2020-11-27 11:52:07 +01:00
Sandro
41408091bb
Merge pull request #105111 from r-ryantm/auto-update/workcraft 
workcraft: 3.3.1 -> 3.3.2
 2020-11-27 03:12:56 +01:00
R. RyanTM
b25018203b workcraft: 3.3.1 -> 3.3.2 2020-11-27 01:53:34 +00:00
Patrick Hilhorst
a6b3bb24e4
treewide: ran ./maintainers/scripts/update_redirected_urls.sh 2020-11-27 01:23:57 +01:00
Sandro
ea49bac768
Merge pull request #99761 from fgaz/key/init 
key: init at 2.6.3
 2020-11-25 01:49:25 +01:00
Sandro
3da89983fd
Merge pull request #103590 from r-ryantm/auto-update/workcraft 
workcraft: 3.3.0 -> 3.3.1
 2020-11-24 02:07:43 +01:00
Vincent Laporte
2806eb2743 coq_8_12: 8.12.0 → 8.12.1 2020-11-15 12:03:15 +01:00
R. RyanTM
8acd7a3540 workcraft: 3.3.0 -> 3.3.1 2020-11-12 10:54:47 +00:00
R. RyanTM
f7485d07b5 lean: 3.21.0 -> 3.23.0 2020-11-11 15:16:44 -08:00
Jan Tojnar
a821be7531
Merge branch 'master' into staging-next 2020-11-05 09:42:47 +01:00
Gabriel Ebner
8279979f38 lean: build olean files 2020-11-04 16:32:56 +01:00
Frederik Rietdijk
470f05cb5d Merge staging-next into staging 2020-11-03 12:06:41 +01:00
Pavol Rusnak
2c931312ce treewide: simplify rev/repo arguments in src 
+ use fetchFromGithub where possible
 2020-11-01 23:02:24 -08:00
Frederik Rietdijk
83dde6c52c Merge staging-next into staging 2020-11-01 10:11:12 +01:00
Vincent Laporte
8cab21b48b Revert "coq: propagate and install ocaml and findlib" 
This reverts commit 5d0e2dedd5.
 2020-10-31 09:08:06 +01:00
Andreas Rammhold
db0fe5c3eb
Merge branch master into staging to fix eval error 
This fixes the eval error of the small (and "big"?) NixOS test set that
was fixed in 1088f05 & eba8f542.
 2020-10-28 03:03:27 +01:00
Ben Siraphob
db74029e3e treewide: remove package names from prefix of descriptions 2020-10-27 09:15:07 -07:00
Vladimír Čunát
336bc8283b
Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" 
This reverts commit c778945806.

I believe this is exactly what brings the staging branch into
the right shape after the last merge from master (through staging-next);
otherwise part of staging changes would be lost
(due to being already reachable from master but reverted).
 2020-10-26 08:19:17 +01:00
Vladimír Čunát
c778945806
Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" 
I'm sorry; I didn't notice it contained staging commits.

This reverts commit 17f5305b6c, reversing
changes made to a8a018ddc0.
 2020-10-25 09:41:51 +01:00
Vladimír Čunát
17f5305b6c
Merge #101508: libraw: 0.20.0 -> 0.20.2 2020-10-25 09:28:53 +01:00
Vincent Laporte
2cb651ad14 cryptoverif: 2.01pl1 → 2.03pl1 2020-10-23 10:20:09 +02:00
Jan Tojnar
3e01d383ee
Merge branch 'staging-next' into staging 2020-10-22 21:20:32 +02:00
Daiderd Jordan
bb0b872b61
Merge pull request #100388 from thefloweringash/darwin-dylib-names-hook 
treewide: move fixDarwinDylibNames to nativeBuildInputs
 2020-10-21 19:25:48 +02:00
Théo Zimmermann
5d0e2dedd5 coq: propagate and install ocaml and findlib 
Fix #34657.
 2020-10-21 11:07:02 +02:00
Andrew Childs
722d02a720 treewide: move fixDarwinDylibNames to nativeBuildInputs 
This hook runs at build time and depends on executing
install_name_tool from binutils.
 2020-10-21 13:26:53 +09:00
Austin Seipp
fba7eaeb63
Merge pull request #100741 from arcz/btor2tools 
btor2tools: enable unix platforms
 2020-10-19 16:18:56 -05:00
R. RyanTM
855b84d8b0 lean: 3.19.0 -> 3.21.0 2020-10-18 17:00:15 +00:00
Artur Cygan
5229b4502a btor2tools: enable unix platforms 2020-10-16 19:39:46 +02:00
Vincent Laporte
33b7529b01
tamarin-prover: 1.4.1 → 1.6.0 (#100148) 2020-10-13 10:16:11 +02:00
Francesco Gazzetta
a302261318 key: init at 2.6.3 2020-10-06 17:37:23 +02:00
Jakub Kądziołka
8205e12a45
z3_4_4_0: add old version for Isabelle 2020-10-03 21:32:22 +02:00
Vincent Laporte
cc739e1c67 ocamlPackages.z3: init at 4.8.9 2020-09-30 22:03:17 +02:00
Doron Behar
0307d0e82b
Merge pull request #98441 from vbgl/why3-1.3.3 
why3: 1.3.1 -> 1.3.3
 2020-09-23 10:35:57 +03:00
Robert Scott
fc709e6dfe cvc3: enable for darwin 
it may be possible to get it building under clang with some work, but
switching it to gcc for now allows us to enable it
 2020-09-22 23:06:45 -07:00
Robert Scott
53a8a415ac cvc3: fix build against bison 3.7 
for some reason bison 3.7 output references $x_defs.h files under the name
$x.hpp. create symlinks to make this work.
 2020-09-22 23:06:45 -07:00
Austin Seipp
daaa0e3350
Merge pull request #98239 from Sohalt/avy 
avy: 2017.10.16 -> cav19
 2020-09-22 23:19:05 -05:00
Vincent Laporte
64b68b30e9
why3: 1.3.1 -> 1.3.3 2020-09-23 03:24:02 +02:00
sohalt
40722346b8 avy: 2017.10.16 -> 2019.05.01 2020-09-20 16:13:29 +02:00
Gabriel Ebner
67ff41201f leo3: fix executable 2020-09-19 15:05:02 +02:00
Vincent Laporte
cc4a33d78c ott: 0.30 → 0.31 2020-09-14 21:42:22 +02:00
Thomas Tuegel
87c7d1d4f8
z3: 4.8.8 -> 4.8.9 2020-09-11 14:38:43 -05:00
Badi Abdul-Wahid
f3ce1df79a
tlaplus: remove myself from maintainers list 2020-09-09 10:40:46 -05:00
Vincent Laporte
2a82f71bed
proverif: 2.01 → 2.02pl1 2020-09-07 09:54:54 +02:00
R. RyanTM
1cd9dafce0 ott: 0.30 -> 0.31 2020-09-06 22:25:50 +01:00
Mario Rodas
f7eb2883b5 lean: 3.18.4 -> 3.19.0 2020-08-29 04:20:00 +00:00
Vincent Laporte
5e6eeb795c alt-ergo: 2.3.2 → 2.3.3 2020-08-29 06:21:23 +02:00
Austin Seipp
1e451da386
mcy: 2020.07.06 -> 2020.08.03 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-08-23 11:01:24 -05:00
Austin Seipp
0eb943ecb1
symbiyosys: 2020.07.03 -> 2020.08.22 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-08-23 11:01:24 -05:00
Lassulus
15d98507ee
Merge pull request #87224 from Sohalt/isabelle 
isabelle: 2018 -> 2020
 2020-08-23 11:28:53 +02:00
Thomas Tuegel
616dd214d1 z3: add ttuegel to maintainers 2020-08-21 19:05:55 -07:00
Thomas Tuegel
1f512d7804 z3: 4.8.7 -> 4.8.8 2020-08-21 19:05:55 -07:00
Mario Rodas
f96ec7d994
ocamlPackages.lablgtk3: propagate gtk3 (#95849) 2020-08-21 10:52:11 +02:00
Lassulus
8560589f55
Merge pull request #92337 from r-ryantm/auto-update/ltl2ba 
ltl2ba: 1.2 -> 1.3
 2020-08-20 23:02:41 +02:00
Gabriel Ebner
7f31fe9ea6 vampire: 4.4 -> 4.5.1 2020-08-17 19:39:32 +02:00
Mario Rodas
b05ede05a1
Merge pull request #90281 from purcell/fast-downward-darwin 
fast-downward: 2019-05-13 -> 19.12, build on darwin, fix runtime issues
 2020-08-16 21:30:09 -05:00
Lorenz Leutgeb
d50a6db016
z3: Add Java Bindings (#92096) 
Introduce new arguments to build Java Bindings, and to disable
building of Python bindings. Default behaviour is preserved.
 2020-08-15 07:37:38 +02:00
Vincent Laporte
b8dfca143c coq_8_12: 8.12+β1 → 8.12.0 
coqPackages.equations: 1.2.2 → 1.2.3
 2020-08-08 06:33:08 +02:00
Vincent Laporte
390769312d coq_8_5: fix build (use gnumake 4.2) 2020-08-03 07:46:20 +02:00
R. RyanTM
7fc1e676ea lean: 3.16.5 -> 3.18.4 2020-08-02 04:55:59 +00:00
Gabriel Ebner
aa37dc8aeb
Merge pull request #94389 from r-ryantm/auto-update/eprover 
eprover: 2.4 -> 2.5
 2020-08-01 11:12:37 +02:00
R. RyanTM
202ce2d867 eprover: 2.4 -> 2.5 2020-07-31 23:35:12 +00:00
Yurii Rashkovskii
cc8369c461 why3: 1.2.1 -> 1.3.1 
Important: keeping why3 at 1.2.1 precludes framac 21.+ from having WP
plugin enabled, which is arguably a very important plugin.
 2020-07-30 23:05:08 +02:00
Vladyslav M
77d6eebc66
Merge pull request #90424 from kini/drat-trim/bump 
drat-trim: 2017-08-31 -> 2020-06-05
 2020-07-26 22:50:14 +03:00
Peter Simons
b4dd96b206 sad: mark package as broken because if depends on dropped ghc-8.4.4 
Ping @schmitthenner.
 2020-07-24 13:06:29 +02:00
Martin Lundfall
424936ed33 cvc4: 1.6 -> 1.8 
Co-authored-by: Gabriel Ebner <gebner@gebner.org>

Update pkgs/applications/science/logic/cvc4/default.nix

Co-authored-by: Gabriel Ebner <gebner@gebner.org>
 2020-07-18 17:48:10 +02:00
Keshav Kini
b28d329c62 drat-trim: 2017-08-31 -> 2020-06-05 2020-07-17 21:38:31 -07:00
Austin Seipp
44f8640ae4
mcy: 2020.03.21 -> 2020.07.06 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 10:33:09 -05:00
Austin Seipp
a8e8e99458
symbiyosys: 2020.05.18 -> 2020.07.03 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 09:12:41 -05:00
Austin Seipp
63e55fae00
yosys: 2020.06.19 -> 2020.07.07 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 09:12:41 -05:00
Jörg Thalheim
223c91d032 cryptominisat: use fetchpatch 2020-07-09 08:21:21 +01:00
Jörg Thalheim
e3d703bb92 cryptominisat: fix build on darwin 2020-07-09 08:11:28 +01:00
R. RyanTM
3628d0d893 cryptominisat: 5.7.1 -> 5.8.0 2020-07-08 04:51:18 +00:00
R. RyanTM
887f1978f6 tlaplusToolbox: 1.6.0 -> 1.7.0 2020-07-07 21:21:49 +00:00
R. RyanTM
12b36a950b ltl2ba: 1.2 -> 1.3 2020-07-05 14:25:04 +00:00
R. RyanTM
a07fe7164b workcraft: 3.2.6 -> 3.3.0 2020-07-02 10:07:55 -07:00
Gabriel Ebner
ab4bc959e7
Merge pull request #92044 from r-ryantm/auto-update/lean 
lean: 3.16.2 -> 3.16.5
 2020-07-02 15:27:58 +02:00
R. RyanTM
39ee2ab9c0 lean: 3.16.2 -> 3.16.5 2020-07-02 13:12:58 +00:00
Vincent Laporte
d34bde6ac7 why3: compatibility with JSoO 3.6.0 2020-06-28 09:59:04 +02:00
zowoq
c7e61112df treewide: remove deprecated value Application from makeDesktopItem 2020-06-25 12:18:37 +10:00
Daniël de Kok
5f0cf22c59 cadical: enable tests 2020-06-24 15:10:53 -07:00
Maximilian Bosch
44b3530cf1
Merge pull request #90491 from shnarazk/cadical-1.3.0-PR 
cadical: 1.2.1 -> 1.3.0
 2020-06-23 23:33:10 +02:00
Vincent Laporte
a8bb61222f coq_8_12: init at 8.12+β1 2020-06-19 12:28:42 +02:00
Narazaki, Shuji
d6c90aea17 cadical: 1.2.1 -> 1.3.0 2020-06-15 22:56:41 +09:00
Steve Purcell
af76ba6c57 fastdownward: 2019-05-13 -> 19.12 
- Use supplied build.py mechanism instead of working around it
- Freeze release location into resulting Python so fast-downward script actually works
 2020-06-15 10:40:53 +12:00
R. RyanTM
e63bfcef96 lean: 3.15.0 -> 3.16.2 2020-06-14 19:32:20 +00:00
Steve Purcell
1058f8f8cf fast-downward: also build on darwin 2020-06-14 17:55:14 +12:00
Austin Seipp
23c9c3779d
symbiyosys: 2020.03.24 -> 2020.05.18 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-06-11 23:14:07 -05:00
Austin Seipp
13e52db31e
yosys: 2020.03.24 -> 2020.06.11 
Also includes a bump to `abc-verifier`.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-06-11 23:14:07 -05:00
Symphorien Gibol
0a488516be boolector: 3.0.0 -> 3.2.1 
enable tests
optionnally enable gmp
 2020-06-08 17:32:07 -05:00
Symphorien Gibol
90b75531a5 btor2tools: pre55 -> 1.0.0-pre 
version comes from the VERSION file in the repo
 2020-06-08 17:32:07 -05:00
R. RyanTM
25300419fd lean: 3.14.0 -> 3.15.0 2020-06-06 10:55:48 +00:00
Sohalt
877af72161
Fixup 
Co-authored-by: puzzlewolf <23097564+puzzlewolf@users.noreply.github.com>
 2020-06-05 12:44:13 +02:00
Daiderd Jordan
b7ddbd52bd
treewide: replace SRI hashes 2020-06-01 15:24:19 +02:00
R. RyanTM
8295aa6d8b cryptominisat: 5.7.0 -> 5.7.1 2020-05-27 13:51:14 -07:00
R. RyanTM
5841bc46f8 proverif: 2.00 -> 2.01 2020-05-27 12:07:52 -07:00
zowoq
cb4cc7a480 sad: use patch file extension 2020-05-26 14:50:50 +10:00
R. RyanTM
7573e99a60 lean: 3.13.1 -> 3.14.0 2020-05-24 22:22:11 +00:00
Vincent Laporte
48f0d8b3c8 coq_8_11: 8.11.1 → 8.11.2 2020-05-20 19:21:42 +02:00
R. RyanTM
748e2fcf6c elan: 0.10.0 -> 0.10.2 2020-05-19 05:02:43 +00:00
Mario Rodas
b022ecbf5d
lean: 3.10.0 -> 3.13.1 2020-05-16 04:20:00 -05:00
sohalt
7bf616dd77 Correct license 2020-05-10 00:49:56 +02:00
sohalt
9ec71eb051 use https 2020-05-10 00:46:00 +02:00
Gabriel Ebner
115fa1c129 elan: 0.9.0 -> 0.10.0 2020-05-08 17:17:03 +02:00
sohalt
de81e8b961 isabelle: 2018 -> 2020 2020-05-08 00:33:03 +02:00
Gabriel Ebner
f6f5f6a30f elan: 0.8.0 -> 0.9.0 2020-05-07 15:35:13 +02:00
Yurii Rashkovskii
c73875ea1e tlaplus: 1.5.6 -> 1.7.0 2020-05-06 12:26:10 -07:00
R. RyanTM
0a115f8087 cryptominisat: 5.6.8 -> 5.7.0 2020-05-04 01:41:26 -07:00
Mario Rodas
3253c03d2e
lean: 3.9.0 -> 3.10.0 2020-05-02 04:20:00 -05:00
Pavol Rusnak
461a252bee
verifast: change license to MIT 
It seems verifast was relicensed to MIT in 2016:
b3c1bce76a

As this was the only package using lib.licenses.msrla I dropped it.
 2020-04-23 09:59:33 +00:00
Benjamin Hipple
e4db75f46d
Merge pull request #84535 from bcdarwin/update-beluga 
beluga: 20180403 -> unstable-2020-03-11
 2020-04-19 22:53:50 -04:00
Ben Darwin
ad7b7367b6 beluga: 20180403 -> unstable-2020-03-11 2020-04-19 21:54:06 -04:00
Mario Rodas
f37c9226fc
lean: 3.8.0 -> 3.9.0 2020-04-18 04:20:00 -05:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Mario Rodas
8e537ad391
lean: 3.7.2 -> 3.8.0 2020-04-09 10:40:00 -05:00
Jonathan Ringer
3238302827 libpoly: fix src 2020-04-09 11:22:53 -07:00
R. RyanTM
f4a9fe36fa libpoly: 0.1.7 -> 0.1.8 2020-04-09 10:29:28 -07:00
Vincent Laporte
f4ff33cce6 alt-ergo: 2.3.1 → 2.3.2 2020-04-08 10:23:48 +02:00
Vincent Laporte
d6a8d0ca5b coq_8_11: 8.11.0 → 8.11.1 2020-04-05 15:32:32 +02:00
Narazaki, Shuji
c5a12e33d2 cadical: init at 1.2.1 2020-04-05 00:22:36 +09:00
Austin Seipp
765b2fd866
mcy: 2020.03.16 -> 2020.03.21 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-03-25 06:46:01 -05:00
Austin Seipp
4808bef486
symbiyosys: 2020.02.11 -> 2020.03.24 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-03-25 06:46:01 -05:00
Vincent Laporte
618bca7054 alt-ergo: 2.3.0 → 2.3.1 2020-03-24 20:43:06 -04:00
Mario Rodas
b2df6d541d
lean: 3.7.0 -> 3.7.2 2020-03-22 04:20:00 -05:00
Vincent Laporte
8dddd8a07f ocamlPackages.camlp5: 7.10 → 7.11 2020-03-19 18:04:14 -07:00
Austin Seipp
2ef42e07fd
mcy: 2020.02.05 -> 2020.03.16 
Now with working web UI dashboard -- but no working GUI (yet!)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-03-17 17:19:40 -05:00
Austin Seipp
5cd4fd5bc5
symbiyosys: 2020.02.08 -> 2020.02.11 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-03-17 17:19:40 -05:00
Austin Seipp
9b43cf3a00
yosys: 2020.02.25 -> 2020.03.16 
- Bump `abc-verifier` (2020.03.05)
  - Install `yosys-abc` symlink for tool compatbility
  - Various `yosys` expression cleanups

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-03-17 17:19:37 -05:00
Mario Rodas
c935567de6 lean: 3.6.1 -> 3.7.0 2020-03-14 01:32:58 +00:00
Michael Raskin
bbab73266d
Merge pull request #80719 from mucaho/feature/clingcon_init 
clingcon: init at 3.3.0
 2020-03-09 07:42:38 +00:00
mucaho
202c2a8eff clingcon: init at 3.3.0 2020-03-08 19:21:55 +01:00
Maximilian Bosch
84f862ed91
Merge pull request #81796 from JohnAZoidberg/satallax-gcc9 
satallax: Fix build with GCC9
 2020-03-08 16:12:40 +01:00
Vincent Laporte
dcfccdfc33
acgtk: 1.5.0 → 1.5.1 (#81539) 
Co-authored-by: Jon <jonringer@users.noreply.github.com>
 2020-03-07 09:56:18 +01:00
Gabriel Ebner
8428f5bb4a elan: v0.8.0 tag was force-pushed by upstream 2020-03-06 15:35:37 +01:00
Gabriel Ebner
70e5428d66 elan: 0.7.5 -> 0.8.0 2020-03-06 14:28:36 +01:00
Joachim Breitner
2d2a5a9b63
js_of_ocaml: 3.4.0 -> 3.5.2 (#75766) 
drive-by contributions, as I was playing around with this (it has better
support for the `num` library, it seems.)

js_of_ocaml: 3.4.0 -> 3.5.2
ocamlPackages.js_of_ocaml-ppx_deriving_json: use ppxlib-0.12.0
ocamlPackages.eliom: 6.8.0 → 6.10.1
ocamlPackages.ocsigen-toolkit: 2.2.0 → 2.5.0
ocamlPackages.ocsigen-start: 2.7.0 → 2.16.1

Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>
 2020-03-06 07:42:04 +01:00
Mario Rodas
1196a5c7a7
Merge pull request #81722 from r-ryantm/auto-update/workcraft 
workcraft: 3.2.5 -> 3.2.6
 2020-03-05 07:42:25 -05:00
Daniel Schaefer
bc56175034 satallax: Fix build with GCC9 2020-03-05 05:16:49 +01:00
R. RyanTM
86e6080daf workcraft: 3.2.5 -> 3.2.6 2020-03-04 13:41:09 +00:00
Gabriel Ebner
0d470dc5ea
Merge pull request #81692 from r-ryantm/auto-update/lean 
lean: 3.6.0 -> 3.6.1
 2020-03-04 10:32:38 +01:00
R. RyanTM
5b833c08ef lean: 3.6.0 -> 3.6.1 2020-03-04 06:26:01 +00:00
Aiken Cairncross
3db82f6fc3 python3Packages.monosat: Fix hash 
PR #81562 inadvertently broke these builds
 2020-03-03 11:02:23 -08:00
Aiken Cairncross
2148a154c6 python3Packages.monosat: Fix Python 3.8 build 2020-03-03 07:40:57 +01:00
Austin Seipp
7e66ce29bf
mcy: init at 2020.02.05 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-02-27 21:52:15 -06:00
Austin Seipp
3d8efecda1
symbiyosys: fix calls to external programs 
48085826f broke symbiyosys when it needed to call `yosys-abc`: when
`ABCEXTERNAL` is set in the Makefile, then `yosys-abc` is not built.

But in general `sby` was just calling programs out of the ambient
environment. Fix that for most programs it can invoke: it now has a
direct dependency on boolector, aiger, abc, yosys, etc.

This also does some other minor clean up.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-02-27 21:52:15 -06:00
Mario Rodas
79f057e2eb
lean: 3.5.1 -> 3.6.0 2020-02-26 18:00:00 -05:00
Benjamin Hipple
ed85c9981a elan: upgrade cargo fetcher and cargoSha256 
Infra upgrade as part of #79975; ran `nixpkgs-review wip` successfully.
 2020-02-19 18:17:27 -05:00
Junyoung Clare Jang
b71c03e483
lean: 3.4.2 -> 3.5.1 
3.4.2 is not compilable with GCC >= 9.1
 2020-02-15 02:29:12 -05:00
Benjamin Hipple
eb11feaa0b treewide: change fetchCargoTarball default to opt-out 
Changes the default fetcher in the Rust Platform to be the newer
`fetchCargoTarball`, and changes every application using the current default to
instead opt out.

This commit does not change any hashes or cause any rebuilds. Once integrated,
we will start deleting the opt-outs and recomputing hashes.

See #79975 for details.
 2020-02-13 22:41:37 -08:00
R. RyanTM
1d4fd7f5f2 verifast: 18.02 -> 19.12 2020-02-09 14:29:31 -06:00
Ryan Mulligan
c9cf351871 Merge pull request #79479 from r-ryantm/auto-update/workcraft 
workcraft: 3.1.9 -> 3.2.5
 2020-02-09 06:37:47 -08:00
Jannik Vierling
6ea5cd21ab iprover: 2018_Jul_24_11h -> 3.1 2020-02-09 09:38:57 +01:00
Emily
a14a32fd75 symbiyosys: 2019.10.11 -> 2020.02.08 2020-02-08 23:00:07 -06:00
R. RyanTM
5bf0de57ad workcraft: 3.1.9 -> 3.2.5 2020-02-07 21:09:41 +00:00
Florian Klink
570afbcb5b abc-verifier: passthru rev 
Some consumers of abc-verifier require certain abc versions.
For that reason, expose the exact rev via a passtrhru.
 2020-02-01 12:49:45 +01:00
Florian Klink
351f47da57 abc-verifier: 2018-07-08 -> 2020-01-11 2020-02-01 12:49:45 +01:00
Vincent Laporte
13dd5844fd coqPackages_8_11.coq: 8.11+β1 → 8.11.0 2020-01-31 14:09:51 +01:00
Vincent Laporte
659a7ae963 coq: disable CoqIDE on Darwin for Coq ≥ 8.10 2020-01-31 14:09:51 +01:00
Luka Blaskovic
fd614a8e8f saw-tools: use default llvm 2020-01-30 18:35:30 -05:00
Mario Rodas
a20b7cff7c
Merge pull request #78521 from r-ryantm/auto-update/ott 
ott: 0.29 -> 0.30
 2020-01-29 21:47:20 -05:00
R. RyanTM
f1085d02bb ott: 0.29 -> 0.30 2020-01-26 09:43:23 +00:00
DwarfMaster
227a3f4383 Renamed maintainer lucas8 -> dwarfmaster 2020-01-21 16:39:52 +10:00
Robin Gloster
ab0cfd9e03
treewide: NIX_*_COMPILE -> string 2019-12-31 00:10:18 +01:00
Frederik Rietdijk
6d059becd3 Merge gcc-9 into staging (#68029) 2019-12-30 16:38:38 +01:00
Merijn Broeren
133103d709
treewide: replace make/build/configure/patchFlags with nix lists 2019-12-30 12:58:11 +01:00
Franz Pletz
1a871b4382
minisat: 2.2.0 -> 2.2.1 2019-12-30 03:50:35 +01:00
Maximilian Bosch
9842c4b107
treewide: update which packages I'm currently maintaining 
Idea shamelessly stolen from 4e60b0efae.

I realized that I don't really know anymore where I'm listed as maintainer and what
I'm actually (co)-maintaining which means that I can't proactively take
care of packages I officially maintain.

As I don't have the time, energy and motivation to take care of stuff I
was interested in 1 or 2 years ago (or packaged for someone else in the
past), I decided that I make this explicit by removing myself from several
packages and adding myself in some other stuff I'm now interested in.

I've seen it several times now that people remove themselves from a
package without removing the package if it's unmaintained after that
which is why I figured that it's fine in my case as the affected pkgs
are rather low-prio and were pretty easy to maintain.
 2019-12-26 15:27:47 +01:00
Franz Pletz
77b6c3cd06
Merge remote-tracking branch 'origin/master' into gcc-9 2019-12-26 14:17:36 +01:00
Alyssa Ross
7887a81193
treewide: fix cargoSha256 (again) 
cargo-vendor output was changed in a4fc84de44.
 2019-12-20 20:08:53 +00:00
Austin Seipp
367676ce82
z3: 4.8.5 -> 4.8.7 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-12-14 20:33:59 -06:00
Vincent Laporte
856d0a44ec
Merge pull request #75141 from vbgl/coq-8.11β1 
coq_8_11: init at 8.11+β1
 2019-12-14 19:13:40 +01:00
Robert Scott
c676063047 btor2tools: correct meta information 2019-12-12 10:37:02 -06:00
Robert Scott
b9185a96be boolector: add patch for CVE-2019-7560 2019-12-12 10:37:02 -06:00
Robert Scott
2611887c2e lingeling: enable for darwin 2019-12-08 18:32:04 +00:00