{"name":"compcert","version":"3.15","summary":"Formally verified C compiler","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1"},"attr_path":"compcert"},"last_updated":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/7r78kf0i113w5a84dji3bakjshbd2v32-coq8.20-compcert-3.15","default":true},{"name":"man","path":"/nix/store/030w5zyrwfd7rkgiy5y58jwgcmjcvba2-coq8.20-compcert-3.15-man","default":true},{"name":"doc","path":"/nix/store/4fpv266flchm3k1yz20mc3qimlzb1qsw-coq8.20-compcert-3.15-doc"},{"name":"lib","path":"/nix/store/asq861w3s0mq8ka637jjgv14j684hgdn-coq8.20-compcert-3.15-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f86999f8bfef9ff57f7f03c1c5deedc2784fc666"},"attr_path":"compcert"},"last_updated":"2025-08-09T12:28:43Z","outputs":[{"name":"out","path":"/nix/store/faq6cyw2vzd92q3v15q6q5fbp5p0ymax-coq8.20-compcert-3.15","default":true},{"name":"man","path":"/nix/store/n7byapsbq1lr4br0p78dcnzkzy98hv3y-coq8.20-compcert-3.15-man","default":true},{"name":"doc","path":"/nix/store/j2d2dnk6gwig9mclr3hakf7b9ll7l1iq-coq8.20-compcert-3.15-doc"},{"name":"lib","path":"/nix/store/m0ha5zhrxwvdkrfixp2h38j5ad9mdmvv-coq8.20-compcert-3.15-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1"},"attr_path":"compcert"},"last_updated":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/y18jgg2d3ph923vsh27zsxydfj3i3bn4-coq8.20-compcert-3.15","default":true},{"name":"man","path":"/nix/store/a57zchnnzf01jz49nq20g1hlca1wwywn-coq8.20-compcert-3.15-man","default":true},{"name":"doc","path":"/nix/store/p4g257k7gs8y6j9hy862div0xacsvq0y-coq8.20-compcert-3.15-doc"},{"name":"lib","path":"/nix/store/cqja0nxbnlm0y26miipnhsm6y0h9s3mz-coq8.20-compcert-3.15-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f86999f8bfef9ff57f7f03c1c5deedc2784fc666"},"attr_path":"compcert"},"last_updated":"2025-08-09T12:28:43Z","outputs":[{"name":"out","path":"/nix/store/6kalwpsd10xmnxj9lld1w86gi0byhynh-coq8.20-compcert-3.15","default":true},{"name":"man","path":"/nix/store/xqwn6c7a2k2agp4q10zrw0dyy1fijdxw-coq8.20-compcert-3.15-man","default":true},{"name":"doc","path":"/nix/store/4cj49f4yrzm3gg78gjz20dyz41l2p7yj-coq8.20-compcert-3.15-doc"},{"name":"lib","path":"/nix/store/hr9w04sy7y67wfnb53id797is7afxprp-coq8.20-compcert-3.15-lib"}]}}}