nixpkgs/pkgs/development/coq-modules/VST
Théo Zimmermann 2bbf6c8687
Move CompCert into coqPackages. (#126214)
* compcert: preparation to move in coqPackages

* compcert: move into coqPackages

* compcert: remove version 3.7

As a consequence, also remove VST version 2.6

These were broken.
2021-06-14 14:21:41 +02:00
..
default.nix Move CompCert into coqPackages. (#126214) 2021-06-14 14:21:41 +02:00