summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/compcert
AgeCommit message (Expand)Author
2026-05-06coqPackages.compcert: fix ocamlPackagesPierre Roux
2026-05-01coqPackages.compcert: fix compilation on Rocq masterPierre Roux
2026-03-17treewide: Remove continuation escape at end of commandsVictor Engmark
2026-02-23Merge staging-next into stagingnixpkgs-ci[bot]
2026-02-23ocamlPackages.menhir: 20250903 → 20260203 (#490969)Vincent Laporte
2026-02-23coqPackages.compcert: fix fmtPierre Roux
2026-02-19mkCoqDerivation: warn on superfluous enableParallelBuilding (#485720)Théo Zimmermann
2026-02-16ocamlPackages.menhir: 20250903 → 20260203Vincent Laporte
2026-02-13compcert: 3.16 → 3.17Vincent Laporte
2026-01-31treewide: remove superfluous enableParallelBuilding for mkCoqDerivationAliaksandr
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-09-29compcert: enable for Coq 9.0.1Vincent Laporte
2025-09-11compcert: 3.15 → 3.16Vincent Laporte
2025-01-17coq: 8.20.0 -> 8.20.1 (#374488)Pierre Roux
2024-12-13coqPackages.compcert: 3.14 → 3.15Vincent Laporte
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-10-04compcert: add support for Coq 8.20.0Vincent Laporte
2024-08-20coqPackages.compcert: use external MenhirLibdamhiya
2024-08-03pkgs/development: remove unused argumentsSigmanificient
2024-07-23coqPackages: Enable override with dev branches (#329356)Pierre Roux
2024-06-17compcert: add support for Coq 8.19.2Vincent Laporte
2024-05-30treewide: remove unused fetch* (and other) argumentsSigmanificient
2024-05-03compcert: 3.13.1 → 3.14 (#308752)Vincent Laporte
2024-03-23compcert: make compatible with Coq 8.18–8.19Vincent Laporte
2024-03-12compcert: add riscv-linux targetsSteven Keuchel
2023-11-27coqPackages.VST: 2.12 → 2.13Vincent Laporte
2023-09-19compcert: add aarch64 supportWeijia Wang
2023-07-17coqPackages.compcert: enable for Coq 8.17Vincent Laporte
2023-07-17coqPackages.compcert: 3.12 → 3.13Vincent Laporte
2023-03-01compcert: 3.11 → 3.12Vincent Laporte
2023-02-03treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-12-05compcert: add support for Coq 8.16.1Vincent Laporte
2022-10-11coqPackages.compcert: enable for Coq 8.16Vincent Laporte
2022-07-19coqPackages.flocq: 3.4.3 → 4.1.0Vincent Laporte
2022-06-03compcert: add support for Coq 8.15.2Vincent Laporte
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2022-03-24compcert: add support for Coq 8.15.1Vincent Laporte
2022-02-16coqPackages.compcert: enable for Coq 8.15Vincent Laporte
2021-12-01compcert: fix for Coq 8.14.1Vincent Laporte
2021-11-29compcert: 3.9 → 3.10Vincent Laporte
2021-06-18coqPackages.VST: 2.7.1 -> 2.8Ben Siraphob
2021-06-14Move CompCert into coqPackages. (#126214)Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 20:48:50 +0000