{"name":"compcert","version":"3.16","summary":"Formally verified C compiler","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe"},"attr_path":"compcert"},"last_updated":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/qglgrr862ypi1armrq4nr3kw2dgijvha-coq9.0-compcert-3.16","default":true},{"name":"man","path":"/nix/store/1cw28ngax20171zkqcjlrkx011l816k4-coq9.0-compcert-3.16-man","default":true},{"name":"doc","path":"/nix/store/i5a39zhs8f87374jqxgwf7f90v14mnq7-coq9.0-compcert-3.16-doc"},{"name":"lib","path":"/nix/store/ag4b7vd5bzh6wzb9i7fc020g3h08zqp1-coq9.0-compcert-3.16-lib"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fef9403a3e4d31b0a23f0bacebbec52c248fbb51"},"attr_path":"compcert"},"last_updated":"2026-02-08T07:51:33Z","outputs":[{"name":"out","path":"/nix/store/p09vm1jnc25jyqaw0f0lci2m2cfzv89z-coq9.0-compcert-3.16","default":true},{"name":"man","path":"/nix/store/7zx84dr4mwhw1asbsbqj8q4w8r8f818a-coq9.0-compcert-3.16-man","default":true},{"name":"doc","path":"/nix/store/khzpvgsiqd11h2lnvlnl8bwzykpxfdik-coq9.0-compcert-3.16-doc"},{"name":"lib","path":"/nix/store/a06y9k8p0mm28a073wq8mcamyi3g2950-coq9.0-compcert-3.16-lib"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f08e6b11a5ed43637a8ac444dd44118bc7d273b9"},"attr_path":"compcert"},"last_updated":"2026-02-02T06:50:11Z","outputs":[{"name":"out","path":"/nix/store/qb0y1jj89gw6yxwn8b035hs2his9hpr7-coq9.0-compcert-3.16","default":true},{"name":"man","path":"/nix/store/wc9pdbi3864kggr45px8c5lg7x5p47wk-coq9.0-compcert-3.16-man","default":true},{"name":"doc","path":"/nix/store/l89kb9wrzyszzqk9c2cbs1n4immm7j2k-coq9.0-compcert-3.16-doc"},{"name":"lib","path":"/nix/store/hbxvlrqz2x0b1zqvn34wvizw9pmp3f8w-coq9.0-compcert-3.16-lib"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"49d75834011c94a120a9cb874ac1c4d8b7bfc767"},"attr_path":"compcert"},"last_updated":"2026-02-10T02:06:53Z","outputs":[{"name":"out","path":"/nix/store/2y83vhnf0ahrsxqwzvmcmgksjzn16hq8-coq9.0-compcert-3.16","default":true},{"name":"man","path":"/nix/store/49rbs78kl0lmq3nkc14cbp34a6fjhs3r-coq9.0-compcert-3.16-man","default":true},{"name":"doc","path":"/nix/store/870zla6sz2pwl4kbqc8mb2dcbdpl43by-coq9.0-compcert-3.16-doc"},{"name":"lib","path":"/nix/store/zz5s3aa9y19f299q64ygr8lgr8l9i7zw-coq9.0-compcert-3.16-lib"}]}}}