{"name":"compcert","version":"3.18","summary":"Formally verified C compiler","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"compcert"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/rx94c0bdg9d4k9nnlr9ln6pq3fmk4bbf-coq9.2-compcert-3.18","default":true},{"name":"man","path":"/nix/store/hbk23g2wkbs68yp1sw319ix6qvkhs1a4-coq9.2-compcert-3.18-man","default":true},{"name":"doc","path":"/nix/store/rifb508f29zmdpz0ss012nwd5hrj70mc-coq9.2-compcert-3.18-doc"},{"name":"lib","path":"/nix/store/4q89a7wk3cmhplb2xffvynabsgk0ydp9-coq9.2-compcert-3.18-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"compcert"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/jqs2h54z04fdpkgaaack8z3h4jmc65l9-coq9.2-compcert-3.18","default":true},{"name":"man","path":"/nix/store/47d6ad6pajknxlz6ldd1b2pia5dvr983-coq9.2-compcert-3.18-man","default":true},{"name":"doc","path":"/nix/store/my70pdcwpnnrzqq7p6fw00mnrx6dg3rg-coq9.2-compcert-3.18-doc"},{"name":"lib","path":"/nix/store/ldfvzy705bysgfzd2an38hkc7abv004c-coq9.2-compcert-3.18-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"compcert"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/ss8rmg5afr7a4rnm23ifw6aqq53hzc2z-coq9.2-compcert-3.18","default":true},{"name":"man","path":"/nix/store/bzpxxa0n670ig0d221kw4saglv1w4mvf-coq9.2-compcert-3.18-man","default":true},{"name":"doc","path":"/nix/store/z39gjwb634m8ggczaf14kh2ykskqbksn-coq9.2-compcert-3.18-doc"},{"name":"lib","path":"/nix/store/3vf829h15aqgjnjnchk6kjzlrc6lpqhm-coq9.2-compcert-3.18-lib"}]}}}