{"name":"coqPackages.mathcomp-fingroup","summary":"","description":"","homepage_url":"https://math-comp.github.io/","license":"CECILL-B","attribute_paths":["coqPackages.mathcomp-fingroup"],"releases":[{"version":"2.5.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/wlbrn4vllnikb6wycya396jzx946dg2a-rocq9.1-mathcomp-finite-group-2.5.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/0xy8fsgj8s61rad9dwz0zki4f6f38a7f-rocq9.1-mathcomp-finite-group-2.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/vsvd2x5hcix5ik5h9gpwzxssv1y8n19s-rocq-core9.1-mathcomp-finite-group-2.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/kvn4cndxx6isx7dkjr4xgdmv45b4569x-rocq9.1-mathcomp-finite-group-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-fingroup","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/0qsrln5yahldgnazy3vdnb8q0nhqz974-coq9.0-mathcomp-fingroup-2.4.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/wl0pd0mlrk868sydwv3yl2zrp4lljimz-coq9.0-mathcomp-fingroup-2.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/3g8rdwsx5mx67qmrs4jv2z7wqg4wgw8m-coq9.0-mathcomp-fingroup-2.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/c90a5vq6sf06kxz89skr8z2rc95l0ai0-coq9.0-mathcomp-fingroup-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-fingroup","commit_hash":"4be4d7a7758d92d60a092a503c93a381f95c71b1","date":"2025-05-02T12:26:36Z","outputs":[{"name":"out","path":"/nix/store/4ag9w12qzbqlrg246hzi375zpj65dq4d-coq9.0-mathcomp-fingroup-2.3.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/8bmrrh0r4cn52lrfpgbyrx8pnb4ail1b-coq9.0-mathcomp-fingroup-2.3.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"4be4d7a7758d92d60a092a503c93a381f95c71b1","date":"2025-05-02T12:26:36Z","outputs":[{"name":"out","path":"/nix/store/jbr9i1h16bgv4rwsgsr9ix38kz70xf5l-coq9.0-mathcomp-fingroup-2.3.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/zm5kvhcl9xcq6g0l22ph93fqzq0w66f4-coq9.0-mathcomp-fingroup-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-fingroup","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/a509rzjm8cdy3mdxvlwinf9dsf0rdbl6-coq8.20-mathcomp-fingroup-2.2.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/1qmjspsm56lld84pvz0sji33bqs4c35c-coq8.20-mathcomp-fingroup-2.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/l2nh50xrf2v1w9kf2fqbsi8lj6c4q85m-coq8.20-mathcomp-fingroup-2.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/a289c8h8w6mn8wbdsa0h14ncj18cslbn-coq8.20-mathcomp-fingroup-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-fingroup","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/cbgzs7ykpgqzafpgbxq3dqab5cw85mbl-coq8.19-mathcomp-fingroup-1.19.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/22nmq3q9vapr3ws4xpviisxn06x9qdck-coq8.19-mathcomp-fingroup-1.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/maxvxsf1qhqn867000m19axwzxg2wmrn-coq8.19-mathcomp-fingroup-1.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/8zz9zqprcql3hvkqan03mi3j8570hfp7-coq8.19-mathcomp-fingroup-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-fingroup","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/zhzairfg5b4pj25p6r04ky7pmnwzm733-coq8.18-mathcomp-fingroup-1.18.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/jmg02ssqcaj1sf1q5ysicxqkpf97xv9l-coq8.18-mathcomp-fingroup-1.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/fpgrsvjwmrf4bcmblmif90g6kmp3sz5f-coq8.18-mathcomp-fingroup-1.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/nil753wz406q6m3j7fkv29sj39xlbizr-coq8.18-mathcomp-fingroup-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-fingroup","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/5k1gzas3s963irs51nsh7l6ihmx509k8-coq8.18-mathcomp-fingroup-1.17.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/77h95fdhvn3wm4sf4pwq1mi87gyzxydd-coq8.18-mathcomp-fingroup-1.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/zfaylmwj8k5cqns4zak16i74443kfqv7-coq8.18-mathcomp-fingroup-1.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/ygjndd5x9agynbyqjyxnjidx6jzmvvh2-coq8.18-mathcomp-fingroup-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-fingroup","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/xp23d6vz8wmxv8x8mri1rqpjqhazj1vr-coq8.17-mathcomp-fingroup-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/grbf2b5n1bgj55s7g01ambv3gmlxa1h4-coq8.17-mathcomp-fingroup-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/2lbxyka8qhx29c50jlcplwy1gwb73mcz-coq8.17-mathcomp-fingroup-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/196ds8rlpg53wx94cyaz0q7d631zkhdw-coq8.17-mathcomp-fingroup-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-fingroup","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/52c5q6hspyzd3s58y522vaxbh4zxlr2p-coq8.16-mathcomp-fingroup-1.15.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/6ifawacwc1isxfrmbp8d5f05vg1xrh0j-coq8.16-mathcomp-fingroup-1.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/8ak2jv9p1qyfc8fj9i0zckbsd6dg0627-coq8.16-mathcomp-fingroup-1.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/p2dy9fraivd6n4x0imnd3k245ws4sc9g-coq8.16-mathcomp-fingroup-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-fingroup","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/mgr0m649yjr4lp5p0nrhprql2i6phiyc-coq8.15-mathcomp-fingroup-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/kki58xxnx1kkh5l3864md4467a8nf56i-coq8.15-mathcomp-fingroup-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/6lx5dcwzh9dx0kil9mmrz5ykqdymdrdj-coq8.15-mathcomp-fingroup-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-fingroup","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/fkbk1mgf05qravpjdjgcmn0n783q0274-coq8.15-mathcomp-fingroup-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-fingroup","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-fingroup","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-fingroup","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-fingroup","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-fingroup","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}]}