{"name":"coq_8_15","version":"8.15.0","summary":"Coq proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5"},"attr_path":"coq_8_15"},"last_updated":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/8x3xpmai745aix907q2sykblz23i0ch0-coq-8.15.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5"},"attr_path":"coq_8_15"},"last_updated":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/110jl2lkn2hby2z9fv0hkjv875ch9f6c-coq-8.15.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5"},"attr_path":"coq_8_15"},"last_updated":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/06rzl4mddc0acwna3fn2zmc5c9xqm2yf-coq-8.15.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5"},"attr_path":"coq_8_15"},"last_updated":"2022-03-21T18:25:50Z"}}}