about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/VST
AgeCommit message (Expand)AuthorFilesLines
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-4/+2
2022-12-22coqPackages.VST: 2.10 → 2.11.1Vincent Laporte1-0/+2
2022-12-05coqPackages.VST: add support for Coq 8.16.1Vincent Laporte1-1/+1
2022-10-11coqPackages.VST: enable for Coq 8.16Vincent Laporte1-2/+2
2022-07-19coqPackages.flocq: 3.4.3 → 4.1.0Vincent Laporte1-0/+2
2022-06-03coqPackages.VST: fix build with Coq 8.15.2Vincent Laporte1-1/+1
2022-05-25coqPackages: etcCyril Cohen1-1/+1
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-1/+1
2022-05-12coqPackages: etcCyril Cohen1-1/+1
2022-03-24coqPackages.VST: fix build with Coq 8.15.1Vincent Laporte1-0/+1
2022-02-16coqPackages.VST: 2.8 → 2.9Vincent Laporte1-2/+9
2021-07-31coqPackages.VST: build and install more modules from floyd/Vincent Laporte1-2/+19
2021-06-18coqPackages.VST: 2.7.1 -> 2.8Ben Siraphob1-2/+2
2021-06-14Move CompCert into coqPackages. (#126214)Théo Zimmermann1-2/+0
2021-05-07coqPackages.VST: 2.6 → 2.7.1Vincent Laporte1-1/+5
2021-01-09coqPackages: refactorCyril Cohen1-17/+10
2020-10-05coqPackages.VST: init at 2.6Vincent Laporte1-0/+43
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-03 05:13:15 +0000