summaryrefslogtreecommitdiffstats
path: root/pkgs/development/coq-modules/VST/default.nix
AgeCommit message (Expand)Author
2024-03-23coqPackages.VST: 2.13 → 2.14Vincent Laporte
2023-11-27coqPackages.VST: 2.12 → 2.13Vincent Laporte
2023-11-01coqPackages.VST: 2.11.1 → 2.12Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-12-22coqPackages.VST: 2.10 → 2.11.1Vincent Laporte
2022-12-05coqPackages.VST: add support for Coq 8.16.1Vincent Laporte
2022-10-11coqPackages.VST: enable for Coq 8.16Vincent Laporte
2022-07-19coqPackages.flocq: 3.4.3 → 4.1.0Vincent Laporte
2022-06-03coqPackages.VST: fix build with Coq 8.15.2Vincent Laporte
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2022-03-24coqPackages.VST: fix build with Coq 8.15.1Vincent Laporte
2022-02-16coqPackages.VST: 2.8 → 2.9Vincent Laporte
2021-07-31coqPackages.VST: build and install more modules from floyd/Vincent Laporte
2021-06-18coqPackages.VST: 2.7.1 -> 2.8Ben Siraphob
2021-06-14Move CompCert into coqPackages. (#126214)Théo Zimmermann
2021-05-07coqPackages.VST: 2.6 → 2.7.1Vincent Laporte
2021-01-09coqPackages: refactorCyril Cohen
2020-10-05coqPackages.VST: init at 2.6Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-28 04:12:41 +0000