nixsearch
nixsearch / pkg / compcert / 3.9

compcert 3.9

Formally verified C compiler
Linux and macOS (Intel only) last changed

Pin this version

$ devbox add compcert@3.9
systemsx86_64-darwin, x86_64-linux commit24c33ab7952544ad355d0677c9eea931b23f371c 
$ nix shell github:NixOS/nixpkgs/24c33ab7952544ad355d0677c9eea931b23f371c#compcert

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-darwin
macOS · x86-64		 compcert 24c33ab79525
x86_64-linux
Linux · x86-64		 compcert 24c33ab79525
← newer: 3.10 all 11 releases older: 3.8 →

JSON: /v2/pkg?name=compcert · /v2/resolve?name=compcert&version=3.9