summary refs log tree commit diff
path: root/pkgs/development/coq-modules/VST
Commit message (Expand)AuthorAge
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* coqPackages.VST: 2.10 → 2.11.1Vincent Laporte2022-12-22
* coqPackages.VST: add support for Coq 8.16.1Vincent Laporte2022-12-05
* coqPackages.VST: enable for Coq 8.16Vincent Laporte2022-10-11
* coqPackages.flocq: 3.4.3 → 4.1.0Vincent Laporte2022-07-19
* coqPackages.VST: fix build with Coq 8.15.2Vincent Laporte2022-06-03
* coqPackages: etcCyril Cohen2022-05-25
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* coqPackages: etcCyril Cohen2022-05-12
* coqPackages.VST: fix build with Coq 8.15.1Vincent Laporte2022-03-24
* coqPackages.VST: 2.8 → 2.9Vincent Laporte2022-02-16
* coqPackages.VST: build and install more modules from floyd/Vincent Laporte2021-07-31
* coqPackages.VST: 2.7.1 -> 2.8Ben Siraphob2021-06-18
* Move CompCert into coqPackages. (#126214)Théo Zimmermann2021-06-14
* coqPackages.VST: 2.6 → 2.7.1Vincent Laporte2021-05-07
* coqPackages: refactorCyril Cohen2021-01-09
* coqPackages.VST: init at 2.6Vincent Laporte2020-10-05
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-24 09:48:09 +0000