Lassulus
92734ac395
Merge pull request #166865 from malob/treewide-mainProgram
...
treewide: add meta.mainProgram to many packages
2022-04-15 09:28:00 +01:00
Malo Bourgon
0e802eafad
treewide: add meta.mainProgram to many packages
2022-04-14 10:24:01 -07:00
Vladimír Čunát
d5d94127fd
Merge branch 'staging-next' into staging
...
Minor conflicts; I hope I didn't mess up:
pkgs/development/tools/misc/binutils/default.nix
pkgs/games/openjk/default.nix
2022-04-14 09:53:21 +02:00
R. Ryantm
ae6932e7b9
elan: 1.3.1 -> 1.4.0
2022-04-13 20:56:11 -04:00
Luflosi
0a2f8109f4
abc-verifier: 2022.03.04 -> 2022.03.22
2022-04-12 08:38:25 -05:00
github-actions[bot]
28c6c88d42
Merge staging-next into staging
2022-04-10 00:02:52 +00:00
Thiago Kenji Okada
615e5e10c1
Merge pull request #166740 from shadaj/init-cvc5-symfpu
...
cvc5: init at 1.0.0 & symfpu: init at 8fbe139b
2022-04-09 20:07:29 +01:00
Shadaj Laddad
74b7319023
cvc5: init at 1.0.0
2022-04-06 21:20:40 +00:00
github-actions[bot]
241b3652c3
Merge staging-next into staging
2022-04-06 12:01:50 +00:00
Eelco Dolstra
9c60061edc
Merge pull request #165730 from ConnorBaker/z3_versions
...
z3: init 4.8.15, 4.7.1
2022-04-06 12:47:33 +02:00
Connor Baker
923fad863c
z3: Remove unused fetchpatch
2022-04-05 09:22:52 -04:00
Shadaj Laddad
2d1621012c
symfpu: init at unstable-2019-05-17
2022-04-04 20:30:28 +00:00
Martin Weinelt
f95a3d1140
Merge remote-tracking branch 'origin/staging-next' into staging
2022-04-04 00:46:25 +02:00
github-actions[bot]
c46200d454
Merge master into staging-next
2022-04-03 18:01:07 +00:00
ajs124
672ea43d0e
otter: remove after being marked broken for over two years
...
It was marked in commit ca0e724266
2022-04-03 16:14:59 +01:00
ajs124
33e8308dbc
lean2: remove after being marked broken for over two years
...
It was marked in commit 5aa4b19946
2022-04-03 16:14:16 +01:00
ajs124
90c42fa33f
jonprl: remove after being marked broken for over two years
...
It was marked in commit 5aa4b19946
2022-04-03 16:14:16 +01:00
github-actions[bot]
9aa014c46a
Merge staging-next into staging
2022-03-31 12:02:10 +00:00
github-actions[bot]
3c526dbe2c
Merge master into staging-next
2022-03-31 06:01:18 +00:00
Ben Siraphob
0535074d17
nuXmv: fix darwin build
2022-03-30 23:43:21 -05:00
Connor Baker
57961e1a5e
z3: remove 4.6.0 and 4.5.0
2022-03-29 23:46:27 -04:00
github-actions[bot]
36198fe197
Merge staging-next into staging
2022-03-27 18:01:40 +00:00
Martin Weinelt
d68657af92
Merge remote-tracking branch 'origin/master' into staging-next
2022-03-27 15:54:05 +02:00
Sandro
7d63d0891b
Merge pull request #156413 from numinit/klee-fixes
2022-03-27 13:36:16 +02:00
github-actions[bot]
77dc421883
Merge staging-next into staging
2022-03-26 18:01:56 +00:00
github-actions[bot]
3b6f03e497
Merge master into staging-next
2022-03-26 18:01:22 +00:00
Sandro
f338d0737c
Merge pull request #159997 from jvanbruegge/isabelle-linter
2022-03-26 15:58:08 +01:00
github-actions[bot]
8357b101a5
Merge staging-next into staging
2022-03-25 12:02:05 +00:00
Vladimír Čunát
0a8b4eddd2
Merge branch 'master' into staging-next
2022-03-25 10:16:56 +01:00
Ben Siraphob
1cf5591a99
Merge pull request #165303 from Stunkymonkey/treewide-pname-version-18
2022-03-24 22:55:34 -05:00
Connor Baker
0489a21577
z3: init 4.8.15, 4.7.1, 4.6.0, 4.5.0
2022-03-24 16:44:24 -04:00
davidak
6ea8d5ee71
Merge pull request #165297 from Stunkymonkey/treewide-pname-version-17
...
treewide: rename name to pname&version
2022-03-24 16:38:33 +01:00
Doron Behar
4a02c56a7d
Merge pull request #164746 from ncfavier/makeWrapper-chdir
2022-03-24 13:51:27 +02:00
Vincent Laporte
3d0a9d1668
coq_8_15: 8.15.0 → 8.15.1
2022-03-24 10:17:42 +01:00
Felix Buehler
3bc5196252
treewide: rename name to pname&version
2022-03-23 22:55:50 +01:00
Felix Buehler
e0476d93fe
treewide: rename name to pname&version
2022-03-23 22:34:54 +01:00
Jan van Brügge
0391279c24
isabelle: Add isabelle-linter as optional component
2022-03-23 14:47:21 +01:00
Vladimír Čunát
a519740b4c
Merge branch 'staging-next' into staging
2022-03-21 11:57:43 +01:00
Gabriel Ebner
3aa72cc471
Merge pull request #157515 from jvanbruegge/isabelle-naproche
...
isabelle: Enable and use naproche from nixpkgs
2022-03-20 18:26:33 +01:00
Martin Weinelt
f4f3622cb1
Merge remote-tracking branch 'origin/staging-next' into staging
2022-03-20 00:00:32 +01:00
Naïm Favier
9160044f5f
treewide/makeWrapper: replace --run cd with --chdir
...
Lay the groundwork for switching to binary wrappers by reducing uses
of `--run` (which is not supported by `makeBinaryWrapper`).
2022-03-19 09:46:31 +01:00
Gabriel Ebner
dccd0f76c3
Merge pull request #164717 from collares/lean-3.42.0
...
lean: 3.41.0 -> 3.42.0
2022-03-18 17:31:26 +01:00
Mauricio Collares
897ba65b6f
lean: 3.41.0 -> 3.42.0
2022-03-18 11:52:10 -03:00
github-actions[bot]
588298ee0a
Merge staging-next into staging
2022-03-18 12:01:57 +00:00
R. Ryantm
d29ff668b5
opensmt: 2.3.0 -> 2.3.1
2022-03-17 18:40:58 +00:00
zowoq
6431086967
Merge remote-tracking branch 'origin/staging-next' into staging
...
Conflicts:
pkgs/development/python-modules/symengine/default.nix
2022-03-16 16:03:43 +10:00
Morgan Jones
98a951c509
klee: build with klee-uclibc
...
This ends up enabling more of the KLEE test suite, so apply patches to
fix those too.
2022-03-15 19:21:00 -06:00
Ben Siraphob
cc7b9eac78
Merge pull request #164195 from siraben/nuXmv-init
2022-03-15 18:53:13 +00:00
Ben Siraphob
b39792d141
nuXmv: init at 2.0.0
2022-03-15 13:50:58 -05:00
Alyssa Ross
d7e181ff83
Merge remote-tracking branch 'nixpkgs/staging-next' into staging
...
Conflicts:
pkgs/development/compilers/ocaml/4.12.nix
pkgs/development/python-modules/oci/default.nix
pkgs/tools/admin/bubblewrap/default.nix
2022-03-14 12:33:16 +00:00
Sandro
529b89d755
Merge pull request #161434 from collares/lean-3.40.0
2022-03-12 23:43:20 +01:00
R. Ryantm
b3cadfd9e6
ott: 0.31 -> 0.32
2022-03-12 18:31:38 +00:00
R. Ryantm
29d7a27d9f
opensmt: 2.2.0 -> 2.3.0
2022-03-12 17:44:51 +00:00
github-actions[bot]
a9a2d9475d
Merge staging-next into staging
2022-03-11 18:01:59 +00:00
Mauricio Collares
bab25a7a3a
lean: 3.40.0 -> 3.41.0
2022-03-11 11:40:27 -03:00
Luflosi
0e4d199cbd
abc-verifier: 2021.11.12 -> 2022.03.04
2022-03-08 18:28:13 +01:00
Jan van Brügge
c1ef185bdb
isabelle: Use naproche from nixpkgs
2022-03-01 13:43:38 +01:00
Jan van Brügge
2b71e68503
naproche: init at 0.1.0.0
2022-03-01 13:43:37 +01:00
github-actions[bot]
fbd1c5b484
Merge staging-next into staging
2022-03-01 12:11:43 +00:00
Gabriel Ebner
8934eb7c91
Merge pull request #157843 from jvanbruegge/isabelle_setup
...
isabelle: Rebuild isabelle_setup.jar
2022-03-01 12:11:25 +01:00
github-actions[bot]
f831b62376
Merge staging-next into staging
2022-02-28 12:01:47 +00:00
Bobby Rong
f35d1b8568
Merge pull request #160332 from florentc/tlaps
...
tlaps: 1.4.3 -> 1.4.5
2022-02-28 16:33:42 +08:00
Jonathan Ringer
3af9faf36d
Merge pull request #133431 from Ma27/glibc-2.34
...
glibc: 2.33-108 -> 2.34-115
2022-02-27 18:07:11 -08:00
Guillaume Girol
b9ecdae495
Merge pull request #161344 from ulrikstrid/ulrikstrid/tree-wide-native-inputs
...
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
2022-02-27 19:49:07 +00:00
Maximilian Bosch
52bba1de8a
clingcon: fix build w/glibc-2.34
...
Failing Hydra build: https://hydra.nixos.org/build/163641612
2022-02-27 10:26:56 +01:00
Vincent Laporte
68e4b639a3
Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native
...
coq: Move dune, ocaml and findlib to nativeBuildInputs
2022-02-26 08:54:53 +01:00
K900
cb2cfba6f7
treewide: switch all desktop file generators to new API
...
Notably:
- remove explicit arguments that match the defaults
- convert everything to the right Nix types
2022-02-25 13:40:38 -08:00
Ulrik Strid
7e20e9039e
coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true
...
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2022-02-25 07:54:17 +01:00
Vincent Laporte
056c34167d
why3: 1.4.0 → 1.4.1
2022-02-25 06:00:09 +01:00
Ulrik Strid
48df7cdbba
coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhir
2022-02-24 14:39:45 +01:00
Ulrik Strid
a13cdfe520
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
...
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild.
This makes some closures significantly smaller and makes cross compilation easier
2022-02-24 14:39:27 +01:00
Renaud
a723c88d4e
Merge pull request #159967 from r-ryantm/auto-update/workcraft
...
workcraft: 3.3.5 -> 3.3.6
2022-02-23 13:30:39 +01:00
Mauricio Collares
4ba9b2d198
lean: 3.39.2 -> 3.40.0
2022-02-22 21:02:08 -03:00
Ulrik Strid
4150bf02b5
coq: allow static linking by moving wrapGAppsHook to nativeBuildInputs
...
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2022-02-18 15:17:04 +01:00
Mauricio Collares
0c36a9cc35
lean: 3.39.1 -> 3.39.2
2022-02-17 23:42:05 -03:00
Florent C
762faa21a2
tlaps: 1.4.3 -> 1.4.5
...
This updates tlaps to the most recent stable version and fixes the
template for the url from which the sources are fetched. Previously, the
tarball was fetched from the "current" remote directory from which old
versions are eventually removed. The package was therefore broken.
It also adds myself (florentc) as a maintainer.
2022-02-16 15:19:51 +01:00
Artturi
83dc7a2714
Merge pull request #159808 from r-ryantm/auto-update/tlaplus
2022-02-16 15:53:15 +02:00
Ben Siraphob
521cfab34b
Merge pull request #157626 from siraben/formula-init
2022-02-15 18:38:41 -06:00
Ben Siraphob
7f94906083
formula: init at 2.0
2022-02-15 14:09:16 -06:00
Lorenz Leutgeb
f7e01145af
gradle: Update hashes of dependents for 7.4
2022-02-15 09:17:56 +01:00
Jan van Brügge
75f5b1f5b2
isabelle: Rebuild isabelle_setup.jar
...
This jar contained a call to /usr/bin/env bash which was causing an
error during the build of the HOL session (which could be ignored) and
caused other errors during the development of https://github.com/NixOS/nixpkgs/pull/157515
(which could not be ignored). This commit patches the java sources to
call `bash` directly and rebuild the jar.
2022-02-14 15:17:58 +01:00
R. Ryantm
e1f6e33d01
workcraft: 3.3.5 -> 3.3.6
2022-02-14 09:43:01 +00:00
R. Ryantm
42d5cbb78e
tlaplus: 1.7.1 -> 1.7.2
2022-02-13 10:33:51 +00:00
Angus Trau
18592865d7
maintainers: update emilytrau
2022-02-11 04:45:03 +00:00
Mauricio Collares
58f58c8de6
lean: 3.39.0 -> 3.39.1
2022-02-08 12:24:19 -03:00
Ben Siraphob
3594565a7e
Merge pull request #156629 from siraben/coq-mainprogram
...
coq: add meta.mainProgram
2022-02-06 21:43:01 +00:00
Ben Siraphob
6ad0e10dd3
coq: add meta.mainProgram
2022-02-06 15:42:47 -06:00
Mauricio Collares
0ebdfab88b
lean: 3.38.0 -> 3.39.0
2022-02-03 09:21:20 -03:00
Сухарик
3f90b3a1e1
anders: init at 1.1.1
2022-02-02 12:31:53 +03:00
Sandro
a724f8dc29
Merge pull request #155897 from FliegendeWurst/key-2.10
2022-01-30 01:21:43 +01:00
FliegendeWurst
48a133a066
key: add a desktop item
2022-01-29 10:14:54 +01:00
Sandro
27cccd4e49
Merge pull request #151363 from Stunkymonkey/doc-updateWalker
2022-01-27 14:06:36 +01:00
Felix Buehler
09e3b7a570
treewide: remove all updateWalker/downloadURLRegexp
2022-01-26 21:46:08 +01:00
Felix Buehler
ed7bf9452c
treewide: remove *.upstream files from updateWalker
2022-01-26 21:46:07 +01:00
Gabriel Ebner
b27b115b41
Merge pull request #154272 from jvanbruegge/isabelle-build-hol
...
isabelle: Prebuild HOL session
2022-01-26 16:37:18 +01:00
Vincent Laporte
8187f6500d
tamarin-prover: install emacs-mode
2022-01-25 15:54:15 +01:00
Vincent Laporte
20e7213d16
coq_8_15: 8.15+rc1 → 8.15.0
2022-01-25 10:53:57 +01:00
FliegendeWurst
28b43ffd54
key: 2.6.3 -> 2.10.0
2022-01-22 15:55:25 +01:00
Jan van Brügge
d653b33f20
maintainers: add jvanbruegge
2022-01-19 18:25:27 +01:00
Jan van Brügge
6fff929c5e
isabelle: Prebuild HOL session
...
Upstream isabelle ships with this session, but the changes done for
nixpkgs invalidate it, requiring every user to build it again.
2022-01-19 18:25:26 +01:00
Mauricio Collares
c3b215f678
lean: 3.37.0 -> 3.38.0
2022-01-12 16:25:20 -03:00
1000teslas
a4b6785de9
isabelle: patch jni libs for nitpick
2022-01-11 21:09:27 +11:00
1000teslas
d9d30199ec
isabelle: patch zipperposition binary
2022-01-11 11:55:38 +11:00
Renaud
3e90bc0c91
Merge pull request #153014 from numinit/add-klee
...
klee: init at 2.2
2022-01-09 00:16:19 +01:00
Morgan Jones
5f8f72c10c
klee: init at 2.2
2022-01-08 15:49:07 -07:00
Mauricio Collares
81d4c28748
lean: 3.36.0 -> 3.37.0
2022-01-07 16:51:55 -03:00
Mauricio Collares
b790f8ce31
lean: 3.35.1 -> 3.36.0
2022-01-04 10:35:17 -03:00
Gabriel Ebner
adf7f03d3b
Merge pull request #153337 from collares/lean-3.35.1
...
lean: 3.35.0 -> 3.35.1
2022-01-03 16:40:00 +01:00
Mauricio Collares
5b3eac3130
lean: 3.35.0 -> 3.35.1
2022-01-03 11:42:18 -03:00
Gabriel Ebner
7fb27d1c22
Merge pull request #153190 from jvanbruegge/isabelle-vampire
...
isabelle: Use vampire and eprover from nixpkgs
2022-01-02 22:56:09 +01:00
Jan van Brügge
c601134af8
isabelle: Use vampire and eprover from nixpkgs
...
It also removes the unused perl input
2022-01-02 20:53:33 +01:00
Jan van Brügge
f79b811f2d
eprover: Add option to enable LFHOL reasoning
...
Using eprover as automated theorem prover for sledgehammer requires this
option.
2022-01-02 20:53:32 +01:00
Sergei Trofimovich
369d7bb4ca
z3: 4.8.12 -> 4.8.14
...
While at it added trivial updater plumbing.
2022-01-02 12:45:59 -06:00
R. RyanTM
0bf7411211
libpoly: 0.1.10 -> 0.1.11
...
* libpoly: 0.1.10 -> 0.1.11 (#144410 )
* libpoly: remove unneeded postPatch
(fixed upstream by now)
Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
2022-01-02 17:38:00 +01:00
R. RyanTM
caa56925f9
yices: 2.6.2 -> 2.6.4
...
(#143311 )
2022-01-02 10:15:42 +01:00
Jan van Brügge
b54e5a841b
vampire: 4.5.1 -> 4.6.1
2022-01-01 22:13:11 +01:00
Jan van Brügge
4b9c0cb005
isabelle: 2021 -> 2021-1
2021-12-31 13:01:41 +01:00
Jan van Brügge
d3e2cf4314
verit: 2016 -> 2021.06.2
2021-12-31 13:00:43 +01:00
Ben Siraphob
39a0a70d29
treewide: fix homepages with permanent redirect to https
2021-12-29 22:06:47 +07:00
Felix Buehler
cb448459d0
potassco: switch to fetchFromGitHub
2021-12-23 19:11:17 +01:00
Felix Buehler
f4931dfaee
ekrhyper: refactor
2021-12-21 12:44:01 +01:00
Gabriel Ebner
a3bbbe08bd
Merge pull request #151328 from Kha/elan-lean-cc
...
elan: set LEAN_CC to stdenv cc
2021-12-19 17:39:28 +01:00
Sebastian Ullrich
b20024dd3a
elan: set LEAN_CC to stdenv cc
...
This ensures that `leanc` understands cc-wrapper vars such as `NIX_LDFLAGS`
2021-12-19 17:27:10 +01:00
mucaho
1509f463a0
clingcon: 3.3.0 -> 5.0.0
2021-12-16 20:28:19 +01:00
Felix Buehler
4cc23f2b1e
why3.withProvers: add dontUnpack
2021-12-12 20:33:14 +01:00
Jörg Thalheim
2a322411ff
Merge pull request #150217 from r-ryantm/auto-update/cryptoverif
...
cryptoverif: 2.04 -> 2.05
2021-12-11 12:53:42 +00:00
R. Ryantm
50554a43cf
cryptoverif: 2.04 -> 2.05
2021-12-11 10:05:51 +00:00
Vincent Laporte
a2dc97cd5c
proverif: 2.03 → 2.04
2021-12-09 17:45:15 +01:00
Vincent Laporte
a160defe64
coq_8_15: init at 8.15+rc1
2021-12-09 15:46:06 +01:00
R. Ryantm
817561795f
logisim-evolution: 3.7.1 -> 3.7.2
2021-12-07 12:21:37 +00:00
R. Ryantm
d5368e3bdb
clingo: 5.5.0 -> 5.5.1
2021-12-06 09:34:25 +00:00
Austin Seipp
2a295f42c8
symbiyosys: 2021.09.13 -> 2021.11.30
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-12-02 21:48:51 -06:00
Austin Seipp
a79ca33d94
yosys: 0.10+1 -> 0.11+52, with abc update
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-12-02 21:48:51 -06:00
Vincent Laporte
48406e3fca
coq_8_14: 8.14.0 → 8.14.1
...
And build Coq ≥ 8.14 with OCaml 4.12
2021-12-01 13:46:15 +01:00
Sandro
eff5cece35
Merge pull request #146648 from florentc/tlaplus
2021-11-25 12:38:31 +01:00
Florent C
b5d3526bab
tlaplus: 1.7.0 -> 1.7.1
...
This updates tlaplus to the most recent stable version and directly
fetches the tlatools jar file from the official Github release page
instead of building from the sources. In the previous tlaplus nix
package, there was an issue with the tools when passing some command
line arguments such as `-workers 4` for TLC. A java string method was
not found and the program would not proceed correctly. This solves this
issue.
2021-11-25 10:56:11 +01:00
Ryan Burns
2175b157ac
treewide: refactor isi686 && isx86_64 -> isx86
2021-11-20 17:50:41 -08:00
figsoda
6ad04bcb7d
Merge pull request #146243 from figsoda/treewide-rust-feature
...
treewide: use buildFeatures and checkFeatures for rust packages
2021-11-16 21:00:48 -05:00
Sandro
0e4ef9ab2b
Merge pull request #139294 from shnarazk/kissat-init
2021-11-16 18:47:19 +01:00
figsoda
2448ef4630
elan: use buildFeatures
2021-11-16 08:11:49 -05:00
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
