compcert 3.7
Formally verified C compiler
Linux
last changed
Pin this version
$ devbox add compcert@3.7
$ nix shell github:NixOS/nixpkgs/5101b357ec30c1ac4a9273b379e631f841af9fa3#compcert
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
compcert |
5101b357ec30 |
JSON: /v2/pkg?name=compcert · /v2/resolve?name=compcert&version=3.7