github-actions[bot]
b30088fc3f
Merge master into staging-next
2023-02-07 00:02:12 +00:00
Thomas Gerbet
73599b389c
coq: remove undefined attribute ocamlPropagatedNativeBuildInputs in passthru
2023-02-06 17:59:25 +01:00
github-actions[bot]
b2a1140ada
Merge master into staging-next
2023-02-06 06:01:25 +00:00
Vladimír Čunát
555f300879
treewide: another round of gcc12 fixups
2023-02-05 15:29:43 +01:00
R. Ryantm
eed37a8427
cbmc: 5.74.0 -> 5.76.1
2023-02-05 13:53:55 +00:00
Vladimír Čunát
d0d8c15bad
Merge branch 'master' into staging-next
...
pkgs/development/web/nodejs/v18.nix conflict:
the fetched patch was already included in this release.
2023-02-03 23:02:19 +01:00
Ulrik Strid
376e9ceead
treewide: add strictDeps = true to most packages depending on ocaml
2023-02-03 08:59:34 +01:00
Ulrik Strid
c53a63adf1
ocamlPackages treewide: strictDeps all packages
2023-02-03 08:59:34 +01:00
Vladimír Čunát
9287f4461d
Merge #206907 : stdenv: gcc11 -> gcc12
2023-02-01 16:54:44 +01:00
Vincent Laporte
ffe1ba8985
alt-ergo: fix src URL
2023-01-30 10:00:41 +01:00
Fabián Heredia Montiel
0cf5d85f0c
treewide: add gcc12 flags
2023-01-27 21:20:52 -06:00
Vincent Laporte
af3f74b2d9
ott: 0.32 → 0.33
2023-01-24 07:31:58 +01:00
Weijia Wang
ec19e85cec
Merge pull request #206494 from r-ryantm/auto-update/fast-downward
...
fast-downward: 22.06.1 -> 22.12.0
2023-01-23 14:14:29 +01:00
Weijia Wang
a3568776ef
Merge pull request #194260 from r-ryantm/auto-update/logisim-evolution
...
logisim-evolution: 3.7.2 -> 3.8.0
2023-01-22 22:50:18 +01:00
Weijia Wang
218c4c526e
Merge pull request #212002 from mothsART/feature/replace_http_by_https
...
treewide: replace http by https when https is a permanent redirection
2023-01-22 03:26:02 +01:00
Ferry Jérémie
65d7e87fdb
treewide: replace http by https when https is a permanent redirection
2023-01-22 02:46:49 +01:00
Weijia Wang
c5460eb4de
Merge pull request #210884 from vbgl/beluga-dune-3
...
Use dune 3 for a few OCaml tools
2023-01-22 02:22:57 +01:00
Guillaume Girol
33afbf39f6
treewide: switch to nativeCheckInputs
...
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
2023-01-21 12:00:00 +00:00
Vincent Laporte
911525afce
anders: use Dune 3
2023-01-15 12:13:06 +01:00
Vincent Laporte
18c2d73cc7
beluga: use Dune 3
2023-01-15 12:13:00 +01:00
Aaron Jheng
3452c10bb4
z3_4_4_0: remove, z3_4_7: remove
2023-01-13 03:44:17 +00:00
7c6f434c
a3e5e2db7e
Merge pull request #209926 from wegank/satallax-darwin
...
satallax: add darwin support
2023-01-10 23:10:18 +00:00
Bobby Rong
1b4ed2c960
Merge pull request #205274 from r-ryantm/auto-update/cbmc
...
cbmc: 5.71.0 -> 5.74.0
2023-01-10 22:56:19 +08:00
Bobby Rong
60164ab87b
cbmc: mark as broken on aarch64-linux
...
Upstream issue has no respond for a month and ofborg keeps reporting this failure.
2023-01-10 22:29:53 +08:00
Artturi
27c1ec2ecf
Merge pull request #209816 from Artturin/deprecate-top-level-platform-aliases
2023-01-09 22:15:50 +02:00
Artturin
2eeb34c273
treewide: {build,host,target}Platform -> stdenv.{build,host,target}Platform
2023-01-09 21:13:22 +02:00
Weijia Wang
6c70d9252a
satallax: add darwin support
2023-01-09 20:10:30 +01:00
Weijia Wang
1f4c190aff
cubicle: 1.1.2 -> 1.2.0
2023-01-09 16:52:18 +01:00
R. Ryantm
9aa633ca8c
cbmc: 5.71.0 -> 5.74.0
2023-01-08 09:52:35 +00:00
Pierre Roux
cc1d830b2a
coq_8_17: init at 8.17+rc1 ( #209145 )
2023-01-06 15:51:50 +01:00
Mauricio Collares
2082422786
Merge pull request #206238 from collares/lean-3.50.0
...
lean: 3.49.0 -> 3.50.3
2022-12-31 13:55:52 -03:00
R. Ryantm
c45eae4334
workcraft: 3.3.8 -> 3.3.9
2022-12-30 23:45:14 +08:00
Artturin
685bf1f690
coqPackages.coq: fix typo
...
introduced in d1136611
2022-12-27 20:44:32 +02:00
Mauricio Collares
a8fa345c5e
lean: 3.50.2 -> 3.50.3
2022-12-26 19:05:40 -03:00
Mauricio Collares
72ea4253a1
lean: 3.50.1 -> 3.50.2
2022-12-26 19:03:40 -03:00
Dennis Gosnell
ac92ac9908
petrinizer: mark as broken because sbv no longer builds
2022-12-24 16:05:31 +09:00
Mauricio Collares
689ff65cde
lean: 3.50.0 -> 3.50.1
2022-12-22 13:07:21 -03:00
David McFarland
13861970f4
treewide: update all dotnet lockfiles
2022-12-19 15:36:25 -04:00
Valentin Gagarin
f782da699e
Merge pull request #206646 from figsoda/typos
2022-12-18 18:27:57 +01:00
figsoda
ec8cb34358
treewide: fix typos
2022-12-17 19:39:44 -05:00
R. Ryantm
470662f51b
fast-downward: 22.06.1 -> 22.12.0
2022-12-17 07:45:23 +00:00
R. Ryantm
cdc2972120
cvc5: 1.0.2 -> 1.0.3
2022-12-15 20:56:58 +00:00
Mauricio Collares
4e4d962445
lean: 3.49.1 -> 3.50.0
2022-12-15 09:46:06 -03:00
Mauricio Collares
1ea8eab31e
lean: 3.49.0 -> 3.49.1
2022-12-15 09:46:01 -03:00
Sandro
89c4ef4384
Merge pull request #204832 from Luflosi/update/yosys
2022-12-09 10:27:31 +01:00
Sandro
84c17bc98f
Merge pull request #204330 from jvanbruegge/isabelle-fix-components
2022-12-06 20:46:39 +01:00
Jan van Brügge
698c7342b7
isabelle: fix build on MacOS
2022-12-06 18:05:26 +00:00
Luflosi
f48ce9295e
abc-verifier: unstable-2022-09-08 -> unstable-2022-11-09
2022-12-06 18:58:31 +01:00
Vincent Laporte
221b44a071
coq: 8.16.0 → 8.16.1
2022-12-05 09:22:59 +01:00
Nikolay Korotkiy
88ae5d0825
Merge pull request #202805 from r-ryantm/auto-update/cbmc
...
cbmc: 5.70.0 -> 5.71.0
2022-12-03 23:51:24 +04:00
