{"name":"coq_8_15","version":"8.15+rc1","summary":"Coq proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"cc68710784ffe0ee035ee7b726656c44566cac94"},"attr_path":"coq_8_15"},"last_updated":"2022-01-24T04:57:42Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"cc68710784ffe0ee035ee7b726656c44566cac94"},"attr_path":"coq_8_15"},"last_updated":"2022-01-24T04:57:42Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"cc68710784ffe0ee035ee7b726656c44566cac94"},"attr_path":"coq_8_15"},"last_updated":"2022-01-24T04:57:42Z"}}}