nixsearch
nixsearch / pkg / compcert / 3.15

compcert 3.15

Formally verified C compiler
Linux and macOS last changed outputs: man, out, doc, lib

Pin this version

$ devbox add compcert@3.15
systemsaarch64-darwin, x86_64-darwin commit372d9eeeafa5b15913201e2b92e8e539ac7c64d1 
$ nix shell github:NixOS/nixpkgs/372d9eeeafa5b15913201e2b92e8e539ac7c64d1#compcert
systemsaarch64-linux, x86_64-linux commitf86999f8bfef9ff57f7f03c1c5deedc2784fc666 
$ nix shell github:NixOS/nixpkgs/f86999f8bfef9ff57f7f03c1c5deedc2784fc666#compcert

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 compcert 372d9eeeafa5
out
/nix/store/7r78kf0i113w5a84dji3bakjshbd2v32-coq8.20-compcert-3.15
man
/nix/store/030w5zyrwfd7rkgiy5y58jwgcmjcvba2-coq8.20-compcert-3.15-man
doc (not default)
/nix/store/4fpv266flchm3k1yz20mc3qimlzb1qsw-coq8.20-compcert-3.15-doc
lib (not default)
/nix/store/asq861w3s0mq8ka637jjgv14j684hgdn-coq8.20-compcert-3.15-lib
aarch64-linux
Linux · arm64		 compcert f86999f8bfef
out
/nix/store/faq6cyw2vzd92q3v15q6q5fbp5p0ymax-coq8.20-compcert-3.15
man
/nix/store/n7byapsbq1lr4br0p78dcnzkzy98hv3y-coq8.20-compcert-3.15-man
doc (not default)
/nix/store/j2d2dnk6gwig9mclr3hakf7b9ll7l1iq-coq8.20-compcert-3.15-doc
lib (not default)
/nix/store/m0ha5zhrxwvdkrfixp2h38j5ad9mdmvv-coq8.20-compcert-3.15-lib
x86_64-darwin
macOS · x86-64		 compcert 372d9eeeafa5
out
/nix/store/y18jgg2d3ph923vsh27zsxydfj3i3bn4-coq8.20-compcert-3.15
man
/nix/store/a57zchnnzf01jz49nq20g1hlca1wwywn-coq8.20-compcert-3.15-man
doc (not default)
/nix/store/p4g257k7gs8y6j9hy862div0xacsvq0y-coq8.20-compcert-3.15-doc
lib (not default)
/nix/store/cqja0nxbnlm0y26miipnhsm6y0h9s3mz-coq8.20-compcert-3.15-lib
x86_64-linux
Linux · x86-64		 compcert f86999f8bfef
out
/nix/store/6kalwpsd10xmnxj9lld1w86gi0byhynh-coq8.20-compcert-3.15
man
/nix/store/xqwn6c7a2k2agp4q10zrw0dyy1fijdxw-coq8.20-compcert-3.15-man
doc (not default)
/nix/store/4cj49f4yrzm3gg78gjz20dyz41l2p7yj-coq8.20-compcert-3.15-doc
lib (not default)
/nix/store/hr9w04sy7y67wfnb53id797is7afxprp-coq8.20-compcert-3.15-lib
← newer: 3.16 all 11 releases older: 3.14 →

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