Pierre Roux
49e703cde2
Add Coqeal 2.0.1 and algebra-tactics 1.2.3
2024-01-19 10:46:00 +01:00
Vincent Laporte
6088947f52
coqPackages.smtcoq.cvc4: fix build by building CLN in the same stdenv
2024-01-18 14:24:48 +01:00
Vincent Laporte
2fba629f59
coqPackages.QuickChick: 2.0.1 → 2.0.2
2024-01-18 06:03:06 +01:00
Pierre Roux
2c7c560330
coqPackages.mathcomp: 2.1.0 -> 2.2.0
2024-01-17 15:40:16 +01:00
Pierre Roux
e1f1b5bcd2
coqPackages.mathcomp: 1.18.0 -> 1.19.0
2024-01-16 10:34:25 +01:00
Cyril Cohen
18e59521cd
coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 ( #280269 )
...
* coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0
* removing trakt for 8.18 for now at least
2024-01-12 07:07:15 +01:00
Pierre Roux
9c5eec2b20
coqPackages.coq-elpi: 1.19.0 -> 2.0.1
2024-01-02 18:39:20 +01:00
Pierre Roux
7c0435d86d
Bump a few things compiling with Coq 8.19
2023-12-19 20:20:53 +01:00
Pierre Roux
77f1a05307
coqPackages.paramcoq: 8.18 -> 8.19
2023-12-19 14:41:21 +01:00
Pierre Roux
cc3dbddd4a
coqPackages.bignums: 8.18 -> 8.19
2023-12-19 14:41:21 +01:00
Pierre Roux
d77d8f69f7
coq_8_19: init at 8.19+rc1
2023-12-19 14:41:20 +01:00
Vincent Laporte
0c38aa9ce8
coqPackages.QuickChick: 1.6.5 → 2.0.1
2023-12-13 06:11:56 +01:00
larsr
5d43a8764f
coqPackages.metacoq: update for coq 8.17 and 8.18 ( #273541 )
...
Also update default.nix to match the default.nix in
MetaCoq/metacoq:.nix/coq-overlays/metacoq/default.nix
Because some files have changed names, some version-dependent
building is required to keep building older versions.
And Metacoq's default.nix had older version checksums.
We use the more recent versions from nixpkgs for coq 8.14-8.16
Co-authored-by: Lars Rasmusson <Lars.Rasmusson@rise>
2023-12-12 07:19:37 +01:00
github-actions[bot]
367355c966
Merge master into staging-next
2023-12-08 12:01:36 +00:00
Vincent Laporte
eeee184c00
coqPackages.coq-ext-lib: 0.11.8 → 0.12.0
2023-12-08 12:56:41 +01:00
github-actions[bot]
397840014f
Merge master into staging-next
2023-12-05 06:00:59 +00:00
Vincent Laporte
6225a51060
coqPackages_8_16: fix evaluation with math-comp ≥ 2.0
...
Disable coq-bits, extructures, and gaia-hydra
2023-12-05 06:56:28 +01:00
Vladimír Čunát
305cd929fd
Merge branch 'staging' into staging-next
2023-12-01 07:33:49 +01:00
Vincent Laporte
0881edb66a
coqPackages.{hydra-battles,gaia-hydras}: 0.6 → 0.9
2023-11-30 09:40:04 +01:00
Vincent Laporte
3687843675
coqPackages.gaia: 1.15 → 1.17
2023-11-30 09:40:04 +01:00
github-actions[bot]
e2e339af90
Merge staging-next into staging
2023-11-29 06:01:32 +00:00
Vincent Laporte
76c5738ef2
coqPackages.mathcomp-word: 2.1 → {2.2, 3.0}
2023-11-29 06:31:24 +01:00
github-actions[bot]
9f668e83bd
Merge staging-next into staging
2023-11-27 06:01:28 +00:00
Vincent Laporte
2ec2d68238
coqPackages.VST: 2.12 → 2.13
...
coqPackages.compcert: 3.13 → 3.13.1
2023-11-27 03:57:47 +01:00
Artturi
4b27e14f8c
Merge pull request #265738 from Artturin/patchshebangcon
...
stdenv: run patchShebangs on the configure script when it's a file
2023-11-26 01:28:41 +02:00
Artturin
20591326aa
treewide: remove unnecessary patching of configure script
...
The configure phase of `stdenv` now runs `patchShebangs` on
`configureScript`.
Did not remove `patchShebangs` in packages which override `configurePhase`
2023-11-25 18:16:12 +02:00
Vincent Laporte
606d32f357
coqPackages.ITree: 5.1.1 → 5.1.2
2023-11-17 13:59:33 +01:00
Vincent Laporte
73e2e4c0f3
coqPackages.dpdgraph: remove for Coq < 8.7
...
ocamlgraph is no longer available for older versions of Coq
2023-11-17 13:59:33 +01:00
Vincent Laporte
f78667f7bd
coqPackages.coqprime: 8.17 → 8.18
2023-11-17 13:59:33 +01:00
Vincent Laporte
a19ba12bc0
coqPackages_8_18.dpdgraph: init at 1.0+8.18
2023-11-17 13:59:33 +01:00
Pierre Roux
c2892b3fc9
coqPackages.mathcomp: 1.17.0 -> 1.18.0 ( #265046 )
...
* coqPackages.mathcomp: 1.17.0 -> 1.18.0
* coqPackages.mathcomp-analysis: 0.6.5 -> 0.6.6
2023-11-15 13:22:46 +01:00
Vincent Laporte
e8ad54f562
coqPackages.gappalib: 1.5.3 → 1.5.4
2023-11-15 06:38:59 +01:00
Vincent Laporte
e06c716ef1
coqPackages.interval: 4.8.0 → 4.9.0 ( #266082 )
2023-11-10 08:38:13 +01:00
ineol
6a63b4a97a
coqPackages.iris-named-props: new expression ( #263100 )
2023-11-10 08:37:23 +01:00
Quinn Dougherty
a0eb0aa889
coqPackages.vcfloat: fix
2023-11-09 06:43:48 +01:00
Vincent Laporte
42bea51aa7
coqPackages.VST: 2.11.1 → 2.12
2023-11-01 07:07:41 +01:00
Pierre Roux
113bbeb1eb
fourcolor: 1.3.0 -> 1.3.1
2023-10-31 08:17:03 +01:00
Pierre Roux
fc9f61fa96
Add various mathcomp 2.1 versions
2023-10-31 08:17:03 +01:00
Théo Zimmermann
01af077865
coqPackages.coq-lsp: 0.1.7 -> 0.1.8
2023-10-26 10:13:24 +02:00
Arthur Azevedo de Amorim
0540b29909
Update pkgs/development/coq-modules/extructures/default.nix
...
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2023-10-25 18:19:16 +02:00
Arthur Azevedo de Amorim
e5de9895e8
coqPackages.extructures: 0.3.1 -> 0.4.0
2023-10-25 18:19:16 +02:00
Pierre Roux
c0c7836116
Add mathcomp 2.1.0
2023-10-25 17:45:56 +02:00
Vincent Laporte
b845260c90
coqPackages.corn: 8.16.0 → 8.18.0
2023-10-25 07:56:54 +02:00
Vincent Laporte
99d78d2fb7
coqPackages.math-classes: 8.17.0 → 8.18.0
2023-10-25 07:56:54 +02:00
Arthur Azevedo de Amorim
f4ec563c1d
coqPackages.deriving: 0.1.1 -> 0.2.0 ( #258038 )
...
Co-authored-by: Théo Zimmermann <theo.zimmermann@telecom-paris.fr>
2023-10-17 16:24:58 +02:00
Théo Zimmermann
4437483938
Merge pull request #258096 from quinn-dougherty/init-coqPackages-vcfloat
...
coqPackages.vcfloat: init at 2.1.1
2023-10-17 15:02:09 +02:00
Léo Stefanesco
8de5195ec4
coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1
2023-10-13 13:15:46 +02:00
Quinn Dougherty
c7634cf59a
coqPackages.vcfloat: init at 2.1.1
2023-09-29 23:57:07 +02:00
Vincent Laporte
df33946f5e
coqPackages.serapi: fix build with Coq 8.16
2023-09-26 14:10:44 +02:00
Vincent Laporte
7c33c8d452
coqPackages.itauto: enable for Coq 8.18
2023-09-21 11:02:55 +02:00
