{"name":"coqPackages.compcert","version":"3.18","summary":"Formally verified C compiler","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.compcert"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/kdg2q9fg477ls06hm6dwlf89w1687sk2-coq9.1-compcert-3.18","default":true},{"name":"man","path":"/nix/store/ixmbxd194fb9j71ndv9vc9kmdhbawpis-coq9.1-compcert-3.18-man","default":true},{"name":"doc","path":"/nix/store/vjylp8jnx8mgm6xyd5hi6y834w678z72-coq9.1-compcert-3.18-doc"},{"name":"lib","path":"/nix/store/vsqi42bpjaaia3vfniby4xmqn45i6092-coq9.1-compcert-3.18-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.compcert"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/275gwnbxvlpn7h9v10rcwrvqkn060sx2-coq9.1-compcert-3.18","default":true},{"name":"man","path":"/nix/store/j4h0w4h8k88pjapi389q4xy3x2xzl1lh-coq9.1-compcert-3.18-man","default":true},{"name":"doc","path":"/nix/store/7q9qlxgivpjqhh2n6inb2zxlk70aw708-coq9.1-compcert-3.18-doc"},{"name":"lib","path":"/nix/store/qr1rrbvw6bvha5pp87hfgaps1294w9kr-coq9.1-compcert-3.18-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.compcert"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/yy02r796gxkxjrfmkkyn61q7r1n6qagj-coq9.1-compcert-3.18","default":true},{"name":"man","path":"/nix/store/x9hnw160izddlnrbmkp212v7kdv9v65z-coq9.1-compcert-3.18-man","default":true},{"name":"doc","path":"/nix/store/z704vjx7zh2wzvhdjqply7y3kz0lsnm6-coq9.1-compcert-3.18-doc"},{"name":"lib","path":"/nix/store/iby75fliy5wvb8h6ralyjm7rz0ygw86n-coq9.1-compcert-3.18-lib"}]}}}