5 Commits

Author	SHA1	Message	Date
Vincent Laporte	c845a272a5	coqPackages.compcert: enable for Coq 8.15 ... and make version 3.9 the default for Coq 8.12	2022-02-16 08:03:02 +01:00
Vincent Laporte	3b1c4a732f	compcert: fix for Coq 8.14.1	2021-12-01 15:43:53 +01:00
Vincent Laporte	5b861824b3	compcert: 3.9 → 3.10 ... Enable for Coq 8.14 Use default version of OCaml (instead of 4.05) VST is not ready for CompCert 3.10, so it still uses 3.9	2021-11-29 08:45:34 +01:00
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