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
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
Hernan Rajchert
ef22f5fd93
veriT: Fix build on macos
2022-06-22 16:57:33 -03: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
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
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
Pierre Roux
ecf2791d8b
coq_8_16: init at 8.16+rc1
2022-06-08 18:42:10 +02: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
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
