summary refs log tree commit diff
path: root/pkgs/development/coq-modules/compcert/default.nix
Commit message (Expand)AuthorAge
* compcert: add aarch64 supportWeijia Wang2023-09-19
* coqPackages.compcert: enable for Coq 8.17Vincent Laporte2023-07-17
* coqPackages.compcert: 3.12 → 3.13Vincent Laporte2023-07-17
* compcert: 3.11 → 3.12Vincent Laporte2023-03-01
* treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid2023-02-03
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* compcert: add support for Coq 8.16.1Vincent Laporte2022-12-05
* coqPackages.compcert: enable for Coq 8.16Vincent Laporte2022-10-11
* coqPackages.flocq: 3.4.3 → 4.1.0Vincent Laporte2022-07-19
* compcert: add support for Coq 8.15.2Vincent Laporte2022-06-03
* coqPackages: etcCyril Cohen2022-05-25
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* coqPackages: etcCyril Cohen2022-05-12
* compcert: add support for Coq 8.15.1Vincent Laporte2022-03-24
* coqPackages.compcert: enable for Coq 8.15Vincent Laporte2022-02-16
* compcert: fix for Coq 8.14.1Vincent Laporte2021-12-01
* compcert: 3.9 → 3.10Vincent Laporte2021-11-29
* coqPackages.VST: 2.7.1 -> 2.8Ben Siraphob2021-06-18
* Move CompCert into coqPackages. (#126214)Théo Zimmermann2021-06-14
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-04-29 07:14:07 +0000