colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
566,941 Commits 126 Branches 0 Tags 3.1 GiB
eb5334c27d
Commit Graph

755 Commits

Author SHA1 Message Date
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
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