{"name":"compcert","version":"3.17","summary":"Formally verified C compiler","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"compcert"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/vh7knz54lj31hlchlm0hf4lq7j1xihpd-coq9.0-compcert-3.17","default":true},{"name":"man","path":"/nix/store/31fgkf7xwjg7x3qba1xyhskxi32ay73a-coq9.0-compcert-3.17-man","default":true},{"name":"doc","path":"/nix/store/8829zs69idhjs5ccxg7whaj2hhx361bj-coq9.0-compcert-3.17-doc"},{"name":"lib","path":"/nix/store/v1qzr9sbyn79sz4gibkb02sga1axx3s2-coq9.0-compcert-3.17-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"compcert"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/l8l7nm5fgnlpwqyw76ib2jvm8vwaxdx2-coq9.0-compcert-3.17","default":true},{"name":"man","path":"/nix/store/l3wyvk2610gkp4537wvb11rrmip2x4ax-coq9.0-compcert-3.17-man","default":true},{"name":"doc","path":"/nix/store/qxfk9r7r8h15xsfdqcsm54yyh4a70m4q-coq9.0-compcert-3.17-doc"},{"name":"lib","path":"/nix/store/yvsx4mnfdf2pkxvs0sdhxsmdhwzf3xrm-coq9.0-compcert-3.17-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f205b5574fd0cb7da5b702a2da51507b7f4fdd1b"},"attr_path":"compcert"},"last_updated":"2026-07-05T19:27:47Z","outputs":[{"name":"out","path":"/nix/store/xzy5ycsd2hl07x7r1wjh3acbmlsg8hmy-coq9.0-compcert-3.17","default":true},{"name":"man","path":"/nix/store/m8am4l53ca1jzbhy5vwgxbn7lphqq81a-coq9.0-compcert-3.17-man","default":true},{"name":"doc","path":"/nix/store/zb63aiamfhxinvs10zmjqs1dzsqrdxsq-coq9.0-compcert-3.17-doc"},{"name":"lib","path":"/nix/store/9pkcndvmkjrih38xkmd0dqlldsahn4r9-coq9.0-compcert-3.17-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"compcert"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/gyv32pfpig730dighmxwwv8zkx8fy6z2-coq9.0-compcert-3.17","default":true},{"name":"man","path":"/nix/store/sfna3rqj8q2i1kgmwkwph6hrii7ax6n7-coq9.0-compcert-3.17-man","default":true},{"name":"doc","path":"/nix/store/m3x6hrpppb1y0gix89y74aklixcsr2g8-coq9.0-compcert-3.17-doc"},{"name":"lib","path":"/nix/store/dn6m8iyd4klhml0d02zya2vkgmck9h5s-coq9.0-compcert-3.17-lib"}]}}}