nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-06 05:13:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
nixpkgs/pkgs/development/coq-modules/VST
History
Arthur Azevedo de Amorim 52f1e7f6ac coqPackages.VST: 2.15 -> 2.16 
Update pkgs/development/coq-modules/VST/default.nix

Co-authored-by: Pierre Roux <pierre.roux@onera.fr>

Remove redundant CompCert version pick.

Always ignore Rocq and CompCert versions in VST checks.
2026-04-03 13:01:32 +02:00
..
default.nix
coqPackages.VST: 2.15 -> 2.16
2026-04-03 13:01:32 +02:00