nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-08 22:14:34 +00:00
Code Issues Packages Projects Releases Wiki Activity
a37b662ba1
nixpkgs/pkgs/development/coq-modules/compcert
History
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