{"name":"coqPackages.mathcomp-character","summary":"","description":"","homepage_url":"https://math-comp.github.io/","license":"CECILL-B","attribute_paths":["coqPackages.mathcomp-character"],"releases":[{"version":"2.5.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-character","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/08w1ilqrhvzxkrx83qz87hk73whzi6cb-rocq9.1-mathcomp-group-representation-2.5.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/wx1rqgk9lb1c5b787fjvj81sqp34xncb-rocq9.1-mathcomp-group-representation-2.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-character","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/05g45c1nrcixxryxdxldmknw2dk08nc5-rocq-core9.1-mathcomp-group-representation-2.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/xlydlfzng9vhxd47ljdr5ri77fkhprry-rocq9.1-mathcomp-group-representation-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-character","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/8k4ybx66vyfyx9vky3sy72wrnk8bhm3i-coq9.0-mathcomp-character-2.4.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/k8d00ml3pwj9pznqkk33m57bc8d01hj8-coq9.0-mathcomp-character-2.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-character","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/iks0if2m0dygrs71ysnhzrgdqh6g4ycd-coq9.0-mathcomp-character-2.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/xylz2p1cxyzviwvasi2wjh25a6swh7zw-coq9.0-mathcomp-character-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-character","commit_hash":"4be4d7a7758d92d60a092a503c93a381f95c71b1","date":"2025-05-02T12:26:36Z","outputs":[{"name":"out","path":"/nix/store/b4p3948dz9mn8v4ypad2sfxw0aqkk1s6-coq9.0-mathcomp-character-2.3.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/b4qpf1jlqhdcm3bk5dgrgl63wchy47ga-coq9.0-mathcomp-character-2.3.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-character","commit_hash":"4be4d7a7758d92d60a092a503c93a381f95c71b1","date":"2025-05-02T12:26:36Z","outputs":[{"name":"out","path":"/nix/store/580v4jkhwl3mqxf4lfxaa5qqgifbw9ad-coq9.0-mathcomp-character-2.3.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/8d4rynfqp9fzbis50snx9qs45lzs227p-coq9.0-mathcomp-character-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-character","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/xcjf0v56lkly8mk1xhpfn8qq2j9g6i9p-coq8.20-mathcomp-character-2.2.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/wkyvy06km6904pk3syzzmalm6byi7cni-coq8.20-mathcomp-character-2.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-character","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/zmniaz7k47r8rafn48mbbndpcsypcc9s-coq8.20-mathcomp-character-2.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/bjs4fyfcf0wb1f6822d4xy1qjsy8rwwx-coq8.20-mathcomp-character-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-character","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/6k407b9g6yickmis393ijfz1xwdkpxw4-coq8.19-mathcomp-character-1.19.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/4d7ms8mg2l35p29w4j2skj11g50c08c8-coq8.19-mathcomp-character-1.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-character","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/2c32800v256wfv14n93gzx3aljhdl90c-coq8.19-mathcomp-character-1.19.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/mhsxw27nyrsn7hb19j8kf3qga5a2jg6s-coq8.19-mathcomp-character-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-character","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/hwpsbgbmkn0dnmcln014dh6hdylp2jd3-coq8.18-mathcomp-character-1.18.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/zldv8b4506bwsbw82l3yvk4h1ayj0xgh-coq8.18-mathcomp-character-1.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-character","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/fxzzyipb59yrm7rca75n801jjjkgvzjf-coq8.18-mathcomp-character-1.18.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/2vr0rz6jp5jvccf83f9rg30lq3ykybd5-coq8.18-mathcomp-character-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-character","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/mz79y2c2byvvrfycrn5m08cgm0n0bw6r-coq8.18-mathcomp-character-1.17.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/06i0lj499p0mx3fj28y5bdpcnnyrw4s5-coq8.18-mathcomp-character-1.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-character","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/ikwkyffld01wjbmdhpzmb707l8vlmpg8-coq8.18-mathcomp-character-1.17.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/b92y8vwb91624fjyrzp0xqw67ci6xpdk-coq8.18-mathcomp-character-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-character","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/77fnil90nkvg4bild11cv9ssrzk9azbp-coq8.17-mathcomp-character-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/zqc3gcm61bkbh7dn9ygcl3j6yahh7n7w-coq8.17-mathcomp-character-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-character","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/4ab70yndq20kin170cwssna3qwr9sw29-coq8.17-mathcomp-character-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"3007746b3f5bfcb49e102b517bca891822a41b31","date":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/aa06ipd6cl0wak6qirqmp9rfbf7v0fq3-coq8.17-mathcomp-character-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-character","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/3djr6a49dirfcpnjgkqrj58wfy4nrlqb-coq8.16-mathcomp-character-1.15.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/zb20swm8q41bsjb3cgghm4yrfzfivdxg-coq8.16-mathcomp-character-1.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-character","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/0y15r176s12m5rz9drklg4giqbndfbsr-coq8.16-mathcomp-character-1.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/mq0m47r9ll9imzh10cm93h4zx4si3w10-coq8.16-mathcomp-character-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-character","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/wl5j281x988fqdwp8rqs1g1cxalm0kdb-coq8.15-mathcomp-character-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/pd8q41fjb70v7kma1gkhizzay82j41b9-coq8.15-mathcomp-character-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-character","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/k6s4767s6d6scmqbi8mf2qv6hp8l6yhh-coq8.15-mathcomp-character-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-character","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/gxd05kadaacpvd1l85v2wximh23q0xwv-coq8.15-mathcomp-character-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-character","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-character","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-character","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-character","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-character","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}]}