{"name":"compcert","version":"3.14","summary":"Formally verified C compiler","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4989a246d7a390a859852baddb1013f825435cee"},"attr_path":"compcert"},"last_updated":"2024-12-17T11:43:56Z","outputs":[{"name":"out","path":"/nix/store/3f9jr0k1psxxhsi4q35vra1wlg58aqcx-coq8.20-compcert-3.14","default":true},{"name":"man","path":"/nix/store/d72d11yql0dw49ijzddshkn1qz82c2ly-coq8.20-compcert-3.14-man","default":true},{"name":"lib","path":"/nix/store/vpvvk11x8gghjgp2ps2nvfzc6d7hfq98-coq8.20-compcert-3.14-lib"},{"name":"doc","path":"/nix/store/kgzmyknv27mgc0c3bl7qdj60g3nrjz24-coq8.20-compcert-3.14-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4989a246d7a390a859852baddb1013f825435cee"},"attr_path":"compcert"},"last_updated":"2024-12-17T11:43:56Z","outputs":[{"name":"out","path":"/nix/store/bvd7s1nlal7f4hr2w76i3p56mp6swp6r-coq8.20-compcert-3.14","default":true},{"name":"man","path":"/nix/store/89yx5qdbvs1f8xmkmdg91skhppnpkvxc-coq8.20-compcert-3.14-man","default":true},{"name":"doc","path":"/nix/store/jviavy24gybh0qrsxc6rdr0cq0gn255w-coq8.20-compcert-3.14-doc"},{"name":"lib","path":"/nix/store/n87bvdr9x5k6gczznjxli2yn575j5yr7-coq8.20-compcert-3.14-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4989a246d7a390a859852baddb1013f825435cee"},"attr_path":"compcert"},"last_updated":"2024-12-17T11:43:56Z","outputs":[{"name":"out","path":"/nix/store/aj42w7q6x74bfyrpgd3pigl9szxvghf7-coq8.20-compcert-3.14","default":true},{"name":"man","path":"/nix/store/pv1z5yjjvs1kzir4k8d3pvkcdyphy786-coq8.20-compcert-3.14-man","default":true},{"name":"doc","path":"/nix/store/bzfm0kvdhaqrbmmhb0w03albpsmibf2l-coq8.20-compcert-3.14-doc"},{"name":"lib","path":"/nix/store/ag9w49kjsm3akq2dfg90m59fyz7nvr80-coq8.20-compcert-3.14-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4989a246d7a390a859852baddb1013f825435cee"},"attr_path":"compcert"},"last_updated":"2024-12-17T11:43:56Z","outputs":[{"name":"out","path":"/nix/store/y2ihd18c350m07j5ybgvndwlzbrlnmy1-coq8.20-compcert-3.14","default":true},{"name":"man","path":"/nix/store/m8gfdcf78zr8waw268p723iswxmixsmj-coq8.20-compcert-3.14-man","default":true},{"name":"doc","path":"/nix/store/bxafcbdw1d87wdvi619hpqdxa513l5mf-coq8.20-compcert-3.14-doc"},{"name":"lib","path":"/nix/store/3z1ylzy85pjr5sz30gi3y6zxca22ydmd-coq8.20-compcert-3.14-lib"}]}}}