Commit graph

6 commits

Author SHA1 Message Date
Vincent Laporte 6dac1b7a09
coqPackages.VST: build and install more modules from floyd/
Fixes #131203
2021-07-31 21:44:44 +02: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
Vincent Laporte 4fb15bc739 coqPackages.VST: 2.6 → 2.7.1 2021-05-07 08:35:13 +02:00
Cyril Cohen 9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00
Vincent Laporte d5f1dce6c8 coqPackages.VST: init at 2.6 2020-10-05 16:39:26 +02:00