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
Vincent Laporte
0de60535c9
coqPackages.flocq: 4.1.1 → 4.1.3
2023-09-21 11:02:55 +02:00
Weijia Wang
85fd874639
compcert: add aarch64 support
2023-09-19 13:30:30 +02:00
Ali Caglayan
6b614db040
coqPackages.coq-lsp: 0.1.7+8.17 -> 0.1.7+8.18
...
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2023-09-15 16:17:16 +02:00
Ali Caglayan
9d696c09f9
coqPackages.serapi: 8.17.0+0.17 -> 8.18.0+0.18
...
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2023-09-15 16:17:16 +02:00
Pierre Roux
ae24e3e528
Add a few packages for Coq 8.18 and MathComp 2.0
2023-09-04 10:02:59 +02:00
Vincent Laporte
02643fe422
coq_8_18: init at 8.18+rc1
2023-09-04 10:02:59 +02:00
Pierre Roux
7e87f6c593
topology: 9.0.0 -> 10.2.0
2023-09-04 10:02:59 +02:00
Pierre Roux
946120336e
ocamlPackages.elpi: 1.16.5 → 1.17.0
2023-09-01 10:02:18 +02:00
Dimitrije Radojević
9b4d043ba2
ocamlPackages.janestreet: 0.15 -> 0.16 ( #247022 )
2023-08-31 07:46:20 +02:00
Vincent Laporte
e8083f3021
coqPackages.coq-elpi: 1.17.0 → 1.18.0
2023-08-29 06:47:28 +02:00
Vincent Laporte
2ae7493cb6
coqPackages.hierarchy-builder: 1.4.0 → 1.5.0
2023-08-28 07:36:16 +02:00
Jan Malakhovski
5852f26bdc
treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 1: trivial cases
2023-08-03 16:32:03 +00:00
Vincent Laporte
84821b9769
coqPackages.paco: 4.1.2 → 4.2.0
2023-08-03 04:30:34 +02:00
Steven Keuchel
2796baace8
coqPackages_8_17.iris: init at 4.0.0
2023-08-02 22:17:26 +02:00
Vincent Laporte
5890239093
coqPackages.coquelicot: 3.3.1 → 3.4.0
2023-07-28 08:39:50 +02:00
