Gabriel Ebner
f4e3542f5d
Merge pull request #146162 from Kha/elan-wrap-lld
...
elan: wrap embedded linker
2021-11-15 18:07:14 +01:00
Sebastian Ullrich
f8bbc587eb
elan: wrap embedded linker
2021-11-15 17:10:04 +01:00
Robert Scott
e4362cea6f
monosat, python3Packages.monosat: fix for non-x86
2021-11-14 22:25:09 +00:00
Robert Scott
9149d366b9
boolector: add patch fixing build on aarch64-linux
2021-11-13 19:45:51 -06:00
Robert Scott
3b7766eac2
lingeling: pre1_03b4860d -> pre1_708beb26
2021-11-13 19:45:51 -06:00
Thomas Watson
1564d88c41
redprl: unstable-2017-03-28 -> unstable-2019-11-04
2021-11-12 19:24:17 -06:00
Sandro
3260545bc7
Merge pull request #145056 from angustrau/logisim-evolution-3.7.1
2021-11-11 14:01:44 +01:00
Sandro
9a9ef88b8c
Merge pull request #145178 from SuperSandro2000/applications
...
Applications
2021-11-09 21:33:41 +01:00
Sandro Jäckel
b1c5442ceb
fixup! prover9: convert patchPhase to postPatch, cleanup meta
2021-11-09 20:26:04 +01:00
Sandro Jäckel
15d85dac80
redprl: switch to fetchFromGitHub, use postPatch
2021-11-09 20:10:31 +01:00
Sandro Jäckel
11c55d061e
prover9: convert patchPhase to postPatch, cleanup meta
2021-11-09 20:10:30 +01:00
Vincent Laporte
b42501e1e7
proverif: 2.02pl1 → 2.03
...
Do not build `proverif_interact` (that was not installed).
2021-11-09 17:50:01 +01:00
Angus Trau
14580c7f4d
logisim-evolution: 3.5.0 -> 3.7.1
2021-11-09 17:33:19 +11:00
Felix Buehler
b52ab3b712
pkgs/applications: rename name to pname&version part 2
2021-11-07 14:53:06 +01:00
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
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 1088f05eba8f542
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
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 17f5305b6ca8a018ddc0
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
