Mario Rodas
e27fb54ad8
Merge pull request #185834 from kilianar/lean-3.46.0
...
lean: 3.45.0 -> 3.46.0
2022-08-12 05:40:55 -05:00
Gabriel Ebner
f056e64e5b
Merge pull request #180766 from jvierling/metis-prover
...
metis-prover: 2.3.20160713 -> 2.4.20200713
2022-08-10 13:02:34 +02:00
kilianar
3bf4c6f470
lean: 3.45.0 -> 3.46.0
...
https://github.com/leanprover-community/lean/releases/tag/v3.46.0
2022-08-09 22:21:39 +02:00
superherointj
5c30c1cbf1
Merge pull request #183064 from bcdarwin/update-mcrl2
...
mcrl2: 201707 -> 202206
2022-08-02 15:50:46 -03:00
R. Ryantm
c37576257b
workcraft: 3.3.6 -> 3.3.8
2022-07-31 06:18:04 +00:00
Bobby Rong
ac95058e3c
Merge pull request #183276 from r-ryantm/auto-update/cvc5
...
cvc5: 1.0.0 -> 1.0.1
2022-07-30 10:50:46 +08:00
R. Ryantm
33d34d205c
opensmt: 2.3.1 -> 2.4.1
2022-07-29 14:26:39 +00:00
R. Ryantm
f238ea8ee8
cvc5: 1.0.0 -> 1.0.1
2022-07-28 10:49:58 +00:00
Ben Darwin
a39c8ddb1f
mcrl2: 201707 -> 202206
2022-07-27 01:25:01 -04:00
Gabriel Ebner
ec71376b1c
Merge pull request #179568 from collares/lean-3.44.1
...
lean: 3.43.0 -> 3.45.0
2022-07-21 19:04:45 +02:00
Mauricio Collares
2646dae16e
lean: 3.44.1 -> 3.45.0
2022-07-21 13:03:03 -03:00
Mauricio Collares
b394165a8a
lean: 3.44.0 -> 3.44.1
2022-07-21 12:52:30 -03:00
Mauricio Collares
f1fe61ba70
lean: 3.43.0 -> 3.44.0
2022-07-21 12:52:30 -03:00
Ben Siraphob
0952243f1f
Merge pull request #182056 from jiegec/cvc3-darwin
2022-07-20 23:12:29 -07:00
Jiajie Chen
fa917a6f8c
cvc3: unbreak on aarch64-darwin
...
Disable stackprotector on aarch64-darwin.
2022-07-21 08:09:26 +08:00
Vladimír Čunát
0879ac5da6
Merge branch 'master' into staging-next
2022-07-16 20:07:05 +02:00
Ben Siraphob
68c9333eb4
Merge pull request #176321 from siraben/smtcoq-fix
2022-07-16 09:27:57 -07:00
Ben Siraphob
0a0006a9d8
formula: add mainProgram
2022-07-15 11:41:08 -07:00
Artturin
a584822577
treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH'
...
f7414e2
2022-07-15 02:50:09 +03:00
Artturin
83b4764dc3
treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH'
...
f7414e2b3a
2022-07-12 18:25:19 +03:00
Théo Zimmermann
3ea8ed7d7e
Split out CoqIDE by default when Coq >= 8.14.
2022-07-10 15:49:44 +02:00
Jannik Vierling
abf573a0c7
metis-prover: 2.3.20160713 -> 2.4.20200713
2022-07-08 22:22:33 +02:00
Théo Zimmermann
1014f00cff
Prepare Coq derivation for Coq 8.17 build infrastructure.
2022-07-08 14:54:04 +02:00
R. Ryantm
4f64659d54
fast-downward: 21.12.0 -> 22.06.0
2022-07-08 09:59:52 +00:00
Jonas Heinrich
fc4b3a846d
klee: 2.2 -> 2.3
...
* klee: 2.2 -> 2.3
2022-07-07 09:18:27 -03:00
github-actions[bot]
b1e76b5db1
Merge master into staging-next
2022-06-27 00:02:25 +00:00
Ivv
f3b81e3229
Merge pull request #178481 from siraben/formula-update
...
formula: update, add update script and unbreak darwin
2022-06-26 21:10:36 +02:00
github-actions[bot]
5b9ee17283
Merge master into staging-next
2022-06-24 00:02:29 +00:00
Rick van Schijndel
c100196b08
Merge pull request #176823 from risicle/ris-native-source-provenance-applications
...
treewide/applications: add `sourceType` `binaryNativeCode` for many packages
2022-06-23 20:55:09 +02:00
github-actions[bot]
4f79f81d47
Merge master into staging-next
2022-06-23 18:01:15 +00:00
Robert Scott
466c2e342a
treewide/applications: add sourceType binaryNativeCode for many packages
2022-06-23 18:38:19 +01:00
Shea Levy
c4f2260cdb
isabelle: Fix build on darwin
2022-06-23 13:24:53 -04:00
Shea Levy
4d781f329d
z3_4_4_0: Fix build on darwin.
2022-06-23 12:40:46 -04:00
Ben Siraphob
354c51a748
formula: unmark as broken on darwin
2022-06-22 17:04:55 -07:00
Ben Siraphob
c76653603c
formula: unstable-2022-02-02 -> unstable-2022-06-20
2022-06-22 17:04:55 -07:00
Ben Siraphob
7071d43fd3
formula: add update script
2022-06-22 17:04:53 -07:00
github-actions[bot]
506a80a667
Merge staging-next into staging
2022-06-23 00:02:43 +00:00
Hernan Rajchert
ef22f5fd93
veriT: Fix build on macos
2022-06-22 16:57:33 -03:00
github-actions[bot]
8fe94dceb1
Merge staging-next into staging
2022-06-21 06:02:15 +00:00
Anderson Torres
97f37b6e05
Merge pull request #178307 from Luflosi/update/yosys
...
yosys: 0.16 -> 0.18
2022-06-20 22:35:38 -03:00
github-actions[bot]
8c4cc99917
Merge staging-next into staging
2022-06-20 18:01:47 +00:00
Ivv
71003947fc
Merge pull request #177991 from mdarocha/dotnet-6-update
...
dotnet-sdk: 6.0.300 -> 6.0.301
2022-06-20 19:56:52 +02:00
Luflosi
f4a768e251
abc-verifier: 2022.03.22 -> 2022.05.06
2022-06-20 10:40:17 +02:00
github-actions[bot]
f40a25207d
Merge staging-next into staging
2022-06-18 00:02:27 +00:00
Dennis Gosnell
529de76e8a
tamarin-prover: remove darwin from hydraPlatforms
2022-06-17 19:20:10 +09:00
mdarocha
e8eb946183
formula: update dependencies
2022-06-17 10:12:42 +02:00
Sergei Trofimovich
739ab383a5
coq_8_13.src, coq_8_14.src, coq_8_15.src: update hash change with fetchzip update
...
fetchzip changed unpacking of UTF-8 files on glibc systems:
https://github.com/NixOS/nixpkgs/pull/176253
As a result unpacked contents changed it's filenames.
Closes: https://github.com/NixOS/nixpkgs/issues/176225
2022-06-11 17:16:43 +01:00
Pierre Roux
ecf2791d8b
coq_8_16: init at 8.16+rc1
2022-06-08 18:42:10 +02:00
Ben Siraphob
d6f311f306
zchaff: 2004.5.13 -> 2007.3.12
2022-06-05 23:22:06 -07:00
Vincent Laporte
1b95daa381
alt-ergo: ensure compatibility with Menhir ≥ 20211215
2022-06-05 15:44:28 +02:00
Robert Scott
3b6bc4b69c
treewide: set sourceProvenance for packages containing downloaded jars
...
these are the easily identifiable cases and will not be comprehensive
2022-06-04 19:47:57 +01:00
Vincent Laporte
442db9429b
coq: 8.15.1 → 8.15.2
2022-06-03 10:45:45 +02:00
Ben Siraphob
b5827f1033
Merge pull request #175700 from siraben/cvc4-darwin
...
cvc4: fix build on darwin
2022-06-01 08:09:45 +00:00
Ben Siraphob
583a2312e4
cvc4: fix build on darwin
...
Dependency on cln is optional
2022-05-31 23:56:18 -07:00
Ben Siraphob
eb33086520
Merge pull request #164779 from collares/lean2
2022-06-01 06:16:17 +00:00
Rick van Schijndel
433701147a
treewide: pkgs/applications: mark broken for aarch64-linux
2022-05-30 13:42:58 +02:00
Rick van Schijndel
37c633f7ae
treewide: pkgs/applications: mark broken for darwin
2022-05-29 10:56:04 +02:00
Rick van Schijndel
5e1adacaf0
aspino: mark broken for x86_64 Darwin
...
Been broken for a few years already too.
2022-05-29 10:56:02 +02:00
Vincent Laporte
5637570f51
ocamlPackages: rename sedlex_2 into sedlex
2022-05-29 08:48:00 +02:00
Robert Scott
17b62c338f
Merge pull request #175039 from azahi/clingcon-fix
...
clingcon: fix build
2022-05-28 12:40:54 +01:00
7c6f434c
ae0bca4605
Merge pull request #174438 from r-ryantm/auto-update/clingo
...
clingo: 5.5.1 -> 5.5.2
2022-05-28 07:28:47 +00:00
Azat Bahawi
aa8447dd0c
clingcon: fix build
...
Fix build https://hydra.nixos.org/build/178237905
2022-05-28 02:21:13 +03:00
Sandro
b9c9593a88
Merge pull request #173304 from IvarWithoutBones/bump/dotnetmodule
2022-05-26 00:26:18 +02:00
Cyril Cohen
d113661156
coqPackages: etc
...
- put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies,
- use `propagatedBuildInputs` to make sure ocaml plugin dependencies are in path,
- updated `coqPackage.heq` (broken url),
- fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation,
- adding `COQCORELIB` environement variable to put ocaml plugin files in the right place,
- make `metaFetch` available from `coqPackages`
2022-05-25 20:00:25 +02:00
R. Ryantm
c1ab8c327a
clingo: 5.5.1 -> 5.5.2
2022-05-25 07:48:30 +00:00
github-actions[bot]
deef19c9a1
Merge master into staging-next
2022-05-22 06:01:27 +00:00
github-actions[bot]
dbef850602
Merge master into staging-next
2022-05-22 00:02:20 +00:00
Ben Siraphob
519f0b9e58
zchaff: use clangStdenv
...
Fixes build on Linux
2022-05-21 16:55:37 -07:00
Ben Siraphob
3c31489f15
Merge pull request #173933 from siraben/zchaff-init
...
zchaff: init at 2004.5.13
2022-05-21 16:26:06 -07:00
Mauricio Collares
8fdfe10bcf
lean2: 2017-07-22 -> 2018-10-01, unbreak
2022-05-21 16:06:51 -07:00
Ben Siraphob
a6aa08532c
zchaff: init at 2004.5.13
2022-05-21 15:12:08 -07:00
github-actions[bot]
bd83e4cf98
Merge master into staging-next
2022-05-19 12:01:54 +00:00
Sandro
ed58443645
Merge pull request #173172 from Artturin/deprecatestringconf
...
stdenv: start deprecating non-list configureFlags
2022-05-19 11:25:24 +02:00
github-actions[bot]
17dfec3606
Merge master into staging-next
2022-05-19 00:02:14 +00:00
Vincent Laporte
4a87fcbc86
why3: 1.4.1 → 1.5.0
...
easycrypt: fix build with why3-1.5.0
frama-c: build with why3 1.4.1
2022-05-19 00:13:20 +02:00
Vincent Laporte
6e3a86f2f7
why3.withProvers: fix #168644
2022-05-19 00:09:30 +02:00
github-actions[bot]
925219f62b
Merge master into staging-next
2022-05-18 18:01:13 +00:00
Artturin
cf7476804a
treewide: convert string configureFlags to list of strings
2022-05-18 20:32:33 +03:00
Mauricio Collares
4b37f16232
lean: 3.42.1 -> 3.43.0
2022-05-18 10:30:32 -04:00
Mauricio Collares
0a449d8fff
lean: 3.42.0 -> 3.42.1
2022-05-18 10:27:18 -04:00
Ivar Scholten
402cfbf73c
formula: update for dotnet 6
2022-05-16 21:39:47 +02:00
Matt Huszagh
2dcb43e59a
Surelog: init at 2022.05.15
2022-05-15 21:35:07 -07:00
Matt Huszagh
2f9cebbb41
UHDM: init at 2022.05.15
2022-05-15 21:34:58 -07:00
github-actions[bot]
fe71877bbd
Merge staging-next into staging
2022-05-13 18:03:04 +00:00
Armeen Mahdian
f779b60d20
aspino: 2017-03-09 -> 2018-03-24
2022-05-13 10:53:37 -05:00
github-actions[bot]
814126147f
Merge staging-next into staging
2022-05-13 12:02:03 +00:00
Vincent Laporte
1f11888116
Revert "coqPackages: etc"
...
This reverts commit 7e589a45ef
2022-05-13 06:47:14 +02:00
Vincent Laporte
215235cce5
Revert "moving findlib to propagedNativeBuildInputs"
...
This reverts commit 82440c9374
2022-05-13 06:47:14 +02:00
Thiago Kenji Okada
5c5187646d
Merge pull request #172366 from ncfavier/wrappers-cleanup
...
make{,Binary}Wrapper: some cleanups
2022-05-12 22:17:34 +01:00
Naïm Favier
3c77d361b5
makeShellWrapper: add explicitly named attribute
...
So that things that use the makeShellWrapper/wrapProgramShell
functions can depend on makeShellWrapper explicitly, which should ease
migration in the future.
2022-05-12 11:01:23 +02:00
Thiago Kenji Okada
1919e181fb
Merge pull request #172641 from WolfangAukang/monosat-fix
...
python3Packages.monosat: disable failing tests
2022-05-12 10:01:16 +01:00
Cyril Cohen
82440c9374
moving findlib to propagedNativeBuildInputs
2022-05-12 06:11:43 +02:00
Cyril Cohen
7e589a45ef
coqPackages: etc
...
- use propagatedBuildInputs to make sure ocaml plugin stuff is in path
- updated coqPackage.heq (broken url)
- fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation
- adding `COQCORELIB` environement variable to put ocaml plugin files in the right place
- make metaFetch available from `coqPackages`
2022-05-12 06:11:43 +02:00
P. R. d. O
17be6f75ce
python3Packages.monosat: disable failing tests
2022-05-11 18:29:58 -06:00
Naïm Favier
62245943aa
makeWrapper,makeBinaryWrapper: introduce explicitly named functions
...
Because both versions might end up in a derivation's build inputs, it
might be useful to be able to explicitly select which function to use.
2022-05-10 22:07:56 +02:00
Dominik Xaver Hörl
86e7fa945e
tlaplusToolbox: use non-binary wrapper for wrapGAppsHook
...
The use of --add-flags in this derivation does not work with binary
wrappers, which wrapGAppsHook uses since #164163 .
2022-05-10 15:13:58 +02:00
Lassulus
5ed1d2ff8f
Merge pull request #163885 from r-ryantm/auto-update/ott
...
ott: 0.31 -> 0.32
2022-05-10 11:45:47 +02:00
Bernardo Meurer
e6b94ad07e
Merge pull request #171602 from malob/treewide-mainProgram
...
treewide: add meta.mainProgram to many packages
2022-05-05 18:16:09 -07:00
Vincent Laporte
c777cdf5c5
easycrypt-runtest: init at 2022.04
2022-05-05 06:57:50 +02:00
Vincent Laporte
b20934a65c
easycrypt: init at 2022.04
2022-05-05 06:57:50 +02:00
Malo Bourgon
16e15fa68f
treewide: add meta.mainProgram to many packages
2022-05-04 18:08:19 -07:00
Anders Kaseorg
00e66f10fa
coq: Rename internal versionAtLeast helper to coqAtLeast
...
To avoid potential confusion with lib.versionAtLeast.
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2022-04-25 13:35:06 -07:00
R. Ryantm
e66cf9c6c8
elan: 1.4.0 -> 1.4.1
2022-04-24 14:14:48 -04:00
Artturin
f1c7f19e49
treewide: testVersion -> testers.testVersion
2022-04-22 16:24:27 +03:00
Jan van Brügge
9aa4c5dbfc
isabelle: Make closer to upstream
...
This makes isabelle use the versions of polyml and z3 that are also used
upstream. Additionally it packages the sha1 library that isabelle uses.
Co-authored-by: 1000teslas <47207223+1000teslas@users.noreply.github.com>
2022-04-20 11:22:43 +02:00
Jan van Brügge
2e52d5c892
naproche: 0.1.0.0 -> 2022-04-19
...
This fixes the build with GHC 9
2022-04-20 09:14:24 +02:00
Sandro Jäckel
f1189d812e
fast-downward: substitute version, fix buildInputs, minor cleanup
2022-04-16 22:46:45 +02:00
Fabián Heredia Montiel
8c5a58144d
fast-downward: 19.12 → 21.12.0
2022-04-16 11:11:46 -05:00
Martin Weinelt
a7fc5aaa76
Merge remote-tracking branch 'origin/master' into staging-next
2022-04-15 13:30:48 +02:00
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
