2 Commits

Author	SHA1	Message	Date
Ben Siraphob	c1cb31af6b	coqPackages.VST: 2.7.1 -> 2.8	2021-06-18 10:39:33 +02:00
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