{"name":"coqPackages.mathcomp-algebra","summary":"","description":"","homepage_url":"https://math-comp.github.io/","license":"CECILL-B","attribute_paths":["coqPackages.mathcomp-algebra"],"releases":[{"version":"2.5.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/7mynhgwbmhdpmwncccd0njn788ki8xf9-rocq9.1-mathcomp-algebra-2.5.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/4pnq0x1n6b5gl8p62h397shpn92p3lqb-rocq9.1-mathcomp-algebra-2.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/bg9avqdrf8ffxiw1q7lic0cfds2gr3zw-rocq-core9.1-mathcomp-algebra-2.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ninjqcjx6dih6hf9xz3qzh31lbp6cp9k-rocq9.1-mathcomp-algebra-2.5.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.4.0","last_updated":"2025-11-04T19:54:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/hp9j73h55v7byhkyk7nr2r7q7pq8khbk-coq9.0-mathcomp-algebra-2.4.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/h4l61049s25jm8vxn6skccdmnjk3x14b-coq9.0-mathcomp-algebra-2.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/iak8pjd57zpynlzk2jqizzqlwzbywsih-coq9.0-mathcomp-algebra-2.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/jcil57rcakc4pv3l5q3nifdra8kzvghk-coq9.0-mathcomp-algebra-2.4.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.3.0","last_updated":"2025-05-06T08:06:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"4be4d7a7758d92d60a092a503c93a381f95c71b1","date":"2025-05-02T12:26:36Z","outputs":[{"name":"out","path":"/nix/store/6fwlw32mc18wqrl6n79amda6riqsca5x-coq9.0-mathcomp-algebra-2.3.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/y6kisrh83y9n9ksxws8baq8zwcq2kzbr-coq9.0-mathcomp-algebra-2.3.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"4be4d7a7758d92d60a092a503c93a381f95c71b1","date":"2025-05-02T12:26:36Z","outputs":[{"name":"out","path":"/nix/store/j5pbijhpavhv4dz167b39zcxdd5fxd9y-coq9.0-mathcomp-algebra-2.3.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/qynbni8vnbajw4n79s2ljhfwhnd3w2f4-coq9.0-mathcomp-algebra-2.3.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.2.0","last_updated":"2025-01-05T01:56:15Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/k3a0p0b5a4yhiaxp68j2p02bj74bipir-coq8.20-mathcomp-algebra-2.2.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/4qbjl9cj4fdxhz1zr2r8icz5xzkvnvdx-coq8.20-mathcomp-algebra-2.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/kzlw1skb2sfa28lskli2zmzm3lxp8akv-coq8.20-mathcomp-algebra-2.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/ispc9778zx295ygr5h3kc1hapbhyknvz-coq8.20-mathcomp-algebra-2.2.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.19.0","last_updated":"2024-08-14T11:41:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/whmrd9q7cg0agdlc2w436m2x8gnxl9q7-coq8.19-mathcomp-algebra-1.19.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/x3752w3dypxk7vw4rasv2vsbsnvksdbq-coq8.19-mathcomp-algebra-1.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/cp3wncqqx2q4k0c9xr1b9jvb1npcg4y3-coq8.19-mathcomp-algebra-1.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/9cm47cqd2qn8s38r3fbs0hibygiiwd23-coq8.19-mathcomp-algebra-1.19.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.18.0","last_updated":"2024-04-24T04:52:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/jicgwpzpsvsybhnwmixjdnwj8r3c5f8i-coq8.18-mathcomp-algebra-1.18.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/d6lmkkq41ssjjkhlbqgf8c7vwd3swxzv-coq8.18-mathcomp-algebra-1.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/69a0j9m7g1yf9skz9ywvvi80zhimk5cy-coq8.18-mathcomp-algebra-1.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/wqzh93ajm6g1qp8cs2n6vysw807jrr5h-coq8.18-mathcomp-algebra-1.18.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.17.0","last_updated":"2023-11-11T17:51:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/s8brbzmmn90pwsdw9i0b0sv445hs71n4-coq8.18-mathcomp-algebra-1.17.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/q1sbzpyj71his8m2702z01p2vy7lbnmw-coq8.18-mathcomp-algebra-1.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/zws889m64rdpvr3pv9lmyaa4n93169pb-coq8.18-mathcomp-algebra-1.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/rjxr6w82rbhv60p52mma4v6bhqy1dczl-coq8.18-mathcomp-algebra-1.17.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.16.0","last_updated":"2023-05-14T19:13:12Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/1dj14z03nr3n9rscdnkg4fn9pqw96vf4-coq8.17-mathcomp-algebra-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/ar6j9cm094sxssj2hlk9sqqx12zz06g8-coq8.17-mathcomp-algebra-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/qa29sbcv3z62c8wifkck08b4l77zmbch-coq8.17-mathcomp-algebra-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/6ihwabsxlaqfzd89bx76scgc5gh4i2ii-coq8.17-mathcomp-algebra-1.16.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.15.0","last_updated":"2023-03-03T04:15:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/by9pkjxw4bjyg8657mirc050h5qyan0c-coq8.16-mathcomp-algebra-1.15.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/8cb4ih2am9c44k37rj5fyrahqy7mpdaz-coq8.16-mathcomp-algebra-1.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/4pz1m34qvhgsk8fdndg0c04k5p18yv5q-coq8.16-mathcomp-algebra-1.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/mi1wbgfja0l333rm1rfd7lvkmvl2vcif-coq8.16-mathcomp-algebra-1.15.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.14.0","last_updated":"2022-08-27T08:52:24Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/33p08ssy783vbr9d63mcikh5m57vjg3p-coq8.15-mathcomp-algebra-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/in16jl7kkr3fsik4p1x2niw0gcx1vh15-coq8.15-mathcomp-algebra-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/sl5f7fwxgdgfhizch094sfnbm12vq10f-coq8.15-mathcomp-algebra-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/q21sc62drmx32aplm119lrlw6jib53nj-coq8.15-mathcomp-algebra-1.14.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.12.0","last_updated":"2022-01-26T13:01:16Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"e722007bf05802573b41701c49da6c8814878171","date":"2022-01-26T13:01:16Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"e722007bf05802573b41701c49da6c8814878171","date":"2022-01-26T13:01:16Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"e722007bf05802573b41701c49da6c8814878171","date":"2022-01-26T13:01:16Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.11.0","last_updated":"2021-05-07T13:48:33Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","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":"1.10.0","last_updated":"2021-01-05T09:44:35Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-algebra","commit_hash":"43f84e1d69e505f9ee1778c029ab3f193547a61c","date":"2021-01-05T09:44:35Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}