mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
Code Issues Wiki Activity
341553 commits 204 branches 125 tags 10 GiB
Commit graph

4 commits

Author SHA1 Message Date
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