summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)Author
11 dayscoqPackages.deriving: 0.2.2 -> 0.2.3Arthur Azevedo de Amorim
14 dayscoqPackages.trakt: now uses dunePierre Roux
2026-05-06coqPackages.compcert: fix ocamlPackagesPierre Roux
2026-05-06rocqPackages.mathcomp-algebra: master depends on micromega-pluginPierre Roux
2026-05-05rocqPackages.mathcomp: rename fingroup -> finite-group and character -> group...Pierre Roux
2026-05-05coqPackages.interval: guard version checkPierre Roux
2026-05-01coqPackages.compcert: fix compilation on Rocq masterPierre Roux
2026-04-24coqPackages.Ordinal: 0.5.4 -> 0.5.6damhiya
2026-04-15Merge master into staging-nextnixpkgs-ci[bot]
2026-04-14coqPackages.jasmin: 2025.06.1 → 2026.03.1Vincent Laporte
2026-04-03Merge staging-next into stagingnixpkgs-ci[bot]
2026-04-03coqPackages.VST: 2.15 -> 2.16Arthur Azevedo de Amorim
2026-04-02Merge staging-next into stagingnixpkgs-ci[bot]
2026-03-31coqPackages.mtac2: enable for Coq 9.1Vincent Laporte
2026-03-31coqPackages.unicoq: enable for Coq ≥ 9.1Vincent Laporte
2026-03-31coqPackages.rewriter: enable for Coq > 9.0Vincent Laporte
2026-03-31coqPackages.aac-tactics: enable for Coq > 9.0Vincent Laporte
2026-03-30Merge staging-next into stagingnixpkgs-ci[bot]
2026-03-30coqPackages.ExtLib: 0.13.0 → 0.13.1Vincent Laporte
2026-03-27Merge staging-next into stagingnixpkgs-ci[bot]
2026-03-27coqPackages_9_1.verified-extraction: fix `meta` evalSergei Trofimovich
2026-03-26Merge staging-next into stagingnixpkgs-ci[bot]
2026-03-25coqPackages.verified-extraction: init at 1.0.04ever2
2026-03-23Merge staging-next into stagingnixpkgs-ci[bot]
2026-03-23coqPackages.coq-elpi: use default elpi-version when not providedPierre Roux
2026-03-19Merge staging-next into stagingnixpkgs-ci[bot]
2026-03-19Merge master into staging-nextnixpkgs-ci[bot]
2026-03-19coqPackages.CakeMLExtraction: init at 0.1.0 (#501175)Vincent Laporte
2026-03-19coqPackages.CakeMLExtraction: init at 0.1.04ever2
2026-03-18coqPackages.CertiRocq: init at 0.9.14ever2
2026-03-18Merge staging-next into stagingnixpkgs-ci[bot]
2026-03-18Merge master into staging-nextnixpkgs-ci[bot]
2026-03-18treewide: Remove continuation escape at end of commands (#497857)Ivan Mincik
2026-03-17coqPackages.metarocq: 1.4.1 -> 1.5.14ever2
2026-03-17Merge remote-tracking branch 'origin/master' into staging-nextK900
2026-03-17treewide: Remove continuation escape at end of commandsVictor Engmark
2026-03-17rocqPackages.mathcomp-analysis: init at 1.16.0Pierre Roux
2026-03-17coqPackages.mathcomp-infotheo: 0.9.6 -> 0.9.7Pierre Roux
2026-03-12Merge master into staging-nextnixpkgs-ci[bot]
2026-03-12coqPackages.ssprove: 0.3.0 -> 0.3.1 (#499071)Vincent Laporte
2026-03-12coqPackages.ConCert: init at 1.0.0 (#498919)Vincent Laporte
2026-03-12coqPackages.ceres-bs: init at 1.0.0 (#498936)Vincent Laporte
2026-03-11coqPackages.ssprove: 0.3.0 -> 0.3.14ever2
2026-03-11Merge master into staging-nextnixpkgs-ci[bot]
2026-03-11coqPackages.ceres-bs: init at 1.0.04ever2
2026-03-11coqPackages.ConCert: init at 1.0.04ever2
2026-03-11coqPackages.mathcomp-word: 3.3 → 3.4Vincent Laporte
2026-03-11Merge master into staging-nextnixpkgs-ci[bot]
2026-03-10rocqPackages.iris: init at 4.5.04ever2
2026-03-09rocqPackages.stdpp: init at 1.13.04ever2
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 23:19:09 +0000