compcert
compcert 3.18 · pkgs/development/rocq-modules/compcert/default.nix
Health
Risk
risk 0 ok
Version
3.18 no newer release known to repology
Channels
Hydra
succeeded 9y ago
Advisories
none open
Packaging
not read yet: the next index sweep reads it
Maintainers
Pull requests 0
None open.
Closed or merged in the synced window 1
compcert: 3.17 → 3.18; rocqPackages.VST: 2.16 → 2.17
#568956 by vbgl · merged 2w ago
Issues 0
None open.