{"name":"coq_9_2","version":"9.2+rc1","summary":"Coq proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe"},"attr_path":"coq_9_2"},"last_updated":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/41kdwcw7j2j14v27x9009m22dwd93car-coq-9.2+rc1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe"},"attr_path":"coq_9_2"},"last_updated":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/pgz0yh7405cf3yk2yfkjfb072wcn8rl5-coq-9.2+rc1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe"},"attr_path":"coq_9_2"},"last_updated":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/rkq3jivrwb6mavif4cd8qqz9q63qdsx4-coq-9.2+rc1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe"},"attr_path":"coq_9_2"},"last_updated":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/x8zn3ccy35b1c9nkykydxd2zqyfjn0jj-coq-9.2+rc1","default":true}]}}}