{"name":"coqPackages.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":"coqPackages.compcert"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/mwjibgmiv4fbqki0gfpqq3q3h6rkxbxq-coq9.1-compcert-3.17","default":true},{"name":"man","path":"/nix/store/ry1af01m6bp203zf32vp6ka61gvd3qzj-coq9.1-compcert-3.17-man","default":true},{"name":"doc","path":"/nix/store/m2qjxk37s4sa7n4mflq5pychz5ygkfk2-coq9.1-compcert-3.17-doc"},{"name":"lib","path":"/nix/store/6y65cbrwsm0id43033gpxh8nqsgwwgar-coq9.1-compcert-3.17-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"coqPackages.compcert"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/25qkdag4zcx488gsdmxsz4xq1g06wlc8-coq9.1-compcert-3.17","default":true},{"name":"man","path":"/nix/store/91maqnzdz3a4glh0kiq1cvbdja9avy3g-coq9.1-compcert-3.17-man","default":true},{"name":"doc","path":"/nix/store/wl3476scz07y33vlq5ip15lj83gj7d7r-coq9.1-compcert-3.17-doc"},{"name":"lib","path":"/nix/store/2lb67xfqmmanllyknjm39jcq1fv40x5m-coq9.1-compcert-3.17-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d33369954a67ae3322177dc9a3d564092912120c"},"attr_path":"coqPackages.compcert"},"last_updated":"2026-07-02T07:55:03Z","outputs":[{"name":"out","path":"/nix/store/41vqgpbb19vdbkg66f98raw0pgx7287k-coq9.1-compcert-3.17","default":true},{"name":"man","path":"/nix/store/imqq249azlh4rz0hy3dfqfhs3la0s7k8-coq9.1-compcert-3.17-man","default":true},{"name":"doc","path":"/nix/store/lic05l54hfs2fcd5y0gsmbpgnjn1a6rw-coq9.1-compcert-3.17-doc"},{"name":"lib","path":"/nix/store/7pd908sfdy00lks48x02ifxy2sx17fj9-coq9.1-compcert-3.17-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"coqPackages.compcert"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/jhwd86v5nlg8npf9a97yjvzgzpnqsxi4-coq9.1-compcert-3.17","default":true},{"name":"man","path":"/nix/store/nb21fwmz81x40fz8kpfj66lv9vw05f2l-coq9.1-compcert-3.17-man","default":true},{"name":"doc","path":"/nix/store/3agrngbswy4lyyjvj733dggh3iwb172z-coq9.1-compcert-3.17-doc"},{"name":"lib","path":"/nix/store/ifvm3l0alw79kmlbq9078i438bqh8hjb-coq9.1-compcert-3.17-lib"}]}}}