nixsearch
nixsearch / pkg / coqPackages.compcert / 3.10

coqPackages.compcert 3.10

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

Pin this version

$ devbox add coqPackages.compcert@3.10
systemsx86_64-darwin commit24c33ab7952544ad355d0677c9eea931b23f371c 
$ nix shell github:NixOS/nixpkgs/24c33ab7952544ad355d0677c9eea931b23f371c#coqPackages.compcert
systemsx86_64-linux commit72bbea9db7d727ed044e60b5f5febc60a3c5c955 
$ nix shell github:NixOS/nixpkgs/72bbea9db7d727ed044e60b5f5febc60a3c5c955#coqPackages.compcert

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-darwin
macOS · x86-64		 coqPackages.compcert 24c33ab79525
x86_64-linux
Linux · x86-64		 coqPackages.compcert 72bbea9db7d7
← newer: 3.11 all 6 releases older: 3.9 →

JSON: /v2/pkg?name=coqPackages.compcert · /v2/resolve?name=coqPackages.compcert&version=3.10