{"name":"coqPackages.math-classes","summary":"Library of abstract interfaces for mathematical structures in Coq","description":"","homepage_url":"https://math-classes.github.io","license":"","attribute_paths":["coqPackages.math-classes"],"releases":[{"version":"9.2.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.math-classes","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/w804cx873xw43pj0vr27ihrwv06hnfgx-coq9.1-math-classes-9.2.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/xvyz6qpr51yjmb69m2lkf3r20581blkv-coq9.1-math-classes-9.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/sfbmd81qnw67g3fhcpsaicba5dh0ig2i-coq9.1-math-classes-9.2.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.19.0","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.math-classes","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/rj405fa2fhba24kv1rs8n16vp6y058cl-coq8.20-math-classes-8.19.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/xklli9ih1rzghk1jc1g0lk993r2myk2j-coq8.20-math-classes-8.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.math-classes","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/b9gnbswgqzh3p805w04f3qv3y0wkvdvw-coq8.20-math-classes-8.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/1qvqhi92r5i2vqbh5nc47mc0mjf4ji19-coq8.20-math-classes-8.19.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.18.0","last_updated":"2024-04-24T04:52:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.math-classes","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/m3c6lsjj514xm56nk5lc1lnffnzjxzc9-coq8.18-math-classes-8.18.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/6g5m727rlq892mlv5pg42kgy6fk94xzn-coq8.18-math-classes-8.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.math-classes","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/410fakah87yn8dghxs8n48k47kshgiba-coq8.18-math-classes-8.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/jlp4f44wshnbc9gc7b6g6kmzfw7a94p3-coq8.18-math-classes-8.18.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.17.0","last_updated":"2023-09-15T06:49:28Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.math-classes","commit_hash":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e","date":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/a1ihbi60ilgjj1rasfk9spvbzqjdf6i2-coq8.17-math-classes-8.17.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e","date":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/lqprsx1zp7m0x9cx1hi3hdyz3lcd9q0r-coq8.17-math-classes-8.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.math-classes","commit_hash":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e","date":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/3c8qz42j5nhb5zvqbsia3s6spxgix9hh-coq8.17-math-classes-8.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e","date":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/2r5q7p22ngw1fqn1ib030jdqk37104q1-coq8.17-math-classes-8.17.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.15.0","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.math-classes","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/61ggcfp92q9wxb2fg7h8dvzc1nzp7kby-coq8.16-math-classes-8.15.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/hip125wva9s2y1yz33qn48nljcphyv75-coq8.16-math-classes-8.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.math-classes","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/1dq2wzq70s8skj0c9pnwd6g939jry55z-coq8.16-math-classes-8.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/pslzx4yccn71lzchywr3qxbbc38sg0vm-coq8.16-math-classes-8.15.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.13.0","last_updated":"2022-01-24T04:57:42Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.math-classes","commit_hash":"cc68710784ffe0ee035ee7b726656c44566cac94","date":"2022-01-24T04:57:42Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.math-classes","commit_hash":"cc68710784ffe0ee035ee7b726656c44566cac94","date":"2022-01-24T04:57:42Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"cc68710784ffe0ee035ee7b726656c44566cac94","date":"2022-01-24T04:57:42Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.12.0","last_updated":"2021-05-07T13:48:33Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"316b82563a7793a4a88bed9e41adb936d9adc969","date":"2021-05-07T13:48:33Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.11.0","last_updated":"2021-01-18T12:47:57Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"4eccd6f731627ba5ad9915bcf600c9329a34ca78","date":"2021-01-18T12:47:57Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.9.1","last_updated":"2020-07-14T01:56:14Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.math-classes","commit_hash":"aca0bbe791c220f8360bd0dd8e9dce161253b341","date":"2020-07-14T01:56:14Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}