{"name":"coqPackages.math-classes","version":"8.13.0","summary":"A library of abstract interfaces for mathematical structures in Coq.","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"cc68710784ffe0ee035ee7b726656c44566cac94"},"attr_path":"coqPackages.math-classes"},"last_updated":"2022-01-24T04:57:42Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"cc68710784ffe0ee035ee7b726656c44566cac94"},"attr_path":"coqPackages.math-classes"},"last_updated":"2022-01-24T04:57:42Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"cc68710784ffe0ee035ee7b726656c44566cac94"},"attr_path":"coqPackages.math-classes"},"last_updated":"2022-01-24T04:57:42Z"}}}