Théo Zimmermann
3ea8ed7d7e
Split out CoqIDE by default when Coq >= 8.14.
2022-07-10 15:49:44 +02:00
Théo Zimmermann
1014f00cff
Prepare Coq derivation for Coq 8.17 build infrastructure.
2022-07-08 14:54:04 +02: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
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
