about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
2023-12-19Bump a few things compiling with Coq 8.19Pierre Roux11-11/+11
2023-12-19coqPackages.paramcoq: 8.18 -> 8.19Pierre Roux1-1/+2
2023-12-19coqPackages.bignums: 8.18 -> 8.19Pierre Roux1-1/+2
2023-12-19coq_8_19: init at 8.19+rc1Pierre Roux2-2/+2
2023-12-13coqPackages.QuickChick: 1.6.5 → 2.0.1Vincent Laporte1-0/+2
2023-12-12coqPackages.metacoq: update for coq 8.17 and 8.18 (#273541)larsr1-4/+19
2023-12-08Merge master into staging-nextgithub-actions[bot]1-1/+2
2023-12-08coqPackages.coq-ext-lib: 0.11.8 → 0.12.0Vincent Laporte1-1/+2
2023-12-05Merge master into staging-nextgithub-actions[bot]3-8/+8
2023-12-05coqPackages_8_16: fix evaluation with math-comp ≥ 2.0Vincent Laporte3-8/+8
2023-12-01Merge branch 'staging' into staging-nextVladimír Čunát6-22/+0
2023-11-30coqPackages.{hydra-battles,gaia-hydras}: 0.6 → 0.9Vincent Laporte2-2/+4
2023-11-30coqPackages.gaia: 1.15 → 1.17Vincent Laporte1-1/+2
2023-11-29Merge staging-next into staginggithub-actions[bot]1-7/+17
2023-11-29coqPackages.mathcomp-word: 2.1 → {2.2, 3.0}Vincent Laporte1-7/+17
2023-11-27Merge staging-next into staginggithub-actions[bot]2-2/+4
2023-11-27coqPackages.VST: 2.12 → 2.13Vincent Laporte2-2/+4
2023-11-26Merge pull request #265738 from Artturin/patchshebangconArtturi6-22/+0
2023-11-25treewide: remove unnecessary patching of configure scriptArtturin6-22/+0
2023-11-17coqPackages.ITree: 5.1.1 → 5.1.2Vincent Laporte1-1/+2
2023-11-17coqPackages.dpdgraph: remove for Coq < 8.7Vincent Laporte1-2/+0
2023-11-17coqPackages.coqprime: 8.17 → 8.18Vincent Laporte1-1/+2
2023-11-17coqPackages_8_18.dpdgraph: init at 1.0+8.18Vincent Laporte1-0/+2
2023-11-15coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)Pierre Roux9-13/+23
2023-11-15coqPackages.gappalib: 1.5.3 → 1.5.4Vincent Laporte1-1/+2
2023-11-10coqPackages.interval: 4.8.0 → 4.9.0 (#266082)Vincent Laporte1-0/+3
2023-11-10coqPackages.iris-named-props: new expression (#263100)ineol1-0/+17
2023-11-09coqPackages.vcfloat: fixQuinn Dougherty1-0/+4
2023-11-01coqPackages.VST: 2.11.1 → 2.12Vincent Laporte1-2/+3
2023-10-31fourcolor: 1.3.0 -> 1.3.1Pierre Roux1-1/+3
2023-10-31Add various mathcomp 2.1 versionsPierre Roux5-6/+16
2023-10-26coqPackages.coq-lsp: 0.1.7 -> 0.1.8Théo Zimmermann1-6/+6
2023-10-25Update pkgs/development/coq-modules/extructures/default.nixArthur Azevedo de Amorim1-1/+1
2023-10-25coqPackages.extructures: 0.3.1 -> 0.4.0Arthur Azevedo de Amorim1-0/+2
2023-10-25Add mathcomp 2.1.0Pierre Roux1-0/+2
2023-10-25coqPackages.corn: 8.16.0 → 8.18.0Vincent Laporte1-0/+2
2023-10-25coqPackages.math-classes: 8.17.0 → 8.18.0Vincent Laporte1-0/+2
2023-10-17coqPackages.deriving: 0.1.1 -> 0.2.0 (#258038)Arthur Azevedo de Amorim1-2/+4
2023-10-17Merge pull request #258096 from quinn-dougherty/init-coqPackages-vcfloatThéo Zimmermann1-0/+20
2023-10-13coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1Léo Stefanesco2-2/+6
2023-09-29coqPackages.vcfloat: init at 2.1.1Quinn Dougherty1-0/+20
2023-09-26coqPackages.serapi: fix build with Coq 8.16Vincent Laporte1-1/+1
2023-09-21coqPackages.itauto: enable for Coq 8.18Vincent Laporte1-0/+5
2023-09-21coqPackages.flocq: 4.1.1 → 4.1.3Vincent Laporte1-0/+2
2023-09-19compcert: add aarch64 supportWeijia Wang1-3/+16
2023-09-15coqPackages.coq-lsp: 0.1.7+8.17 -> 0.1.7+8.18Ali Caglayan1-0/+2
2023-09-15coqPackages.serapi: 8.17.0+0.17 -> 8.18.0+0.18Ali Caglayan1-0/+2
2023-09-04Add a few packages for Coq 8.18 and MathComp 2.0Pierre Roux6-12/+24
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte34-32/+43
2023-09-04topology: 9.0.0 -> 10.2.0Pierre Roux2-0/+5
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-08 08:45:00 +0000