{"name":"coqPackages.mathcomp-classical","summary":"Analysis library compatible with Mathematical Components","description":"","homepage_url":"https://github.com/math-comp/analysis","license":"CECILL-C","attribute_paths":["coqPackages.mathcomp-classical"],"releases":[{"version":"1.16.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/8sk9rpcbcqh3jya6jpm3l8cfmacc081q-rocq9.1-mathcomp2.5-mathcomp-classical-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/x0pr9x6k1d53g17rv7dpbgb3y9q44ggg-rocq9.1-mathcomp2.5-mathcomp-classical-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/3jrfsfpc22mzq7rhzc764pbs01p4xy67-rocq-core9.1-mathcomp2.5-mathcomp-classical-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/vd2rssbmms630q7mirm0fh6caslnd01a-rocq9.1-mathcomp2.5-mathcomp-classical-1.16.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":"2026-03-12T22:11:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/4pr3jsb6sl4ik57gz12gq7v12wg7qjr0-coq9.0-mathcomp2.5-mathcomp-classical-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/58crqa0rsdzqs2wc0dc5c02zprgbqyli-coq9.0-mathcomp2.5-mathcomp-classical-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/0mzgfzsha7rn4g1gwa4vg4piwsklv04b-coq9.0-mathcomp2.5-mathcomp-classical-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/6wy1faqmbgw9lgr0v22ahz9nczdrgk2n-coq9.0-mathcomp2.5-mathcomp-classical-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":"2025-11-04T19:54:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/9yaz14163lqsh3csy2ba06sad98x2mzy-coq9.0-mathcomp2.4-mathcomp-classical-1.12.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/wb5nz4rshgwa4swqir4axr2fpfqqs2fb-coq9.0-mathcomp2.4-mathcomp-classical-1.12.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/w84rn3ls8z64l3qdb69xxbwg8lsxs4ww-coq9.0-mathcomp2.4-mathcomp-classical-1.12.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/cg75d5gaid24j7k0591br3kjkga16j3j-coq9.0-mathcomp2.4-mathcomp-classical-1.12.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.11.0","last_updated":"2025-06-22T15:15:55Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6","date":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/zdrzpg3m88015yhfgc48w42sp2hphxqg-coq9.0-mathcomp2.4-mathcomp-classical-1.11.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6","date":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/32kcc6m8jq2bw4chcz0iyifhvflnpf11-coq9.0-mathcomp2.4-mathcomp-classical-1.11.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6","date":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/nl2w1cg3k41m98hkja33rzv67yc5fl2h-coq9.0-mathcomp2.4-mathcomp-classical-1.11.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6","date":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/phsg8h8g82msawxgcw3a1ssmj126dg7i-coq9.0-mathcomp2.4-mathcomp-classical-1.11.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.9.0","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/jd24q8gvcb59xagmxnrid1k5wi3b686n-coq8.20-mathcomp2.3-mathcomp-classical-1.9.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/zlj4nnnyjvi21axg35j15ami5d4dx2rx-coq8.20-mathcomp2.3-mathcomp-classical-1.9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/gxjfhyf8ym093ywl2mbzwdv45ri05iq9-coq8.20-mathcomp2.3-mathcomp-classical-1.9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/9dw3xamghp0bv2zzp8bb72mkyw9x40l3-coq8.20-mathcomp2.3-mathcomp-classical-1.9.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.8.0","last_updated":"2025-02-23T09:42:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/3qck8c8m9fkmlwngkvvbagqbpjz2z6b8-coq8.20-mathcomp2.3-mathcomp-classical-1.8.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/v684dlgj6334kwdknba6cy6dx0lpq7f7-coq8.20-mathcomp2.3-mathcomp-classical-1.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/kfn5xv2vvvp52fwrdki8anbbf1y8p6rj-coq8.20-mathcomp2.3-mathcomp-classical-1.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"dad564433178067be1fbdfcce23b546254b6d641","date":"2025-02-20T02:45:56Z","outputs":[{"name":"out","path":"/nix/store/gc3jmkckmd2sr5ncbgsbmgxqcpcgb4si-coq8.20-mathcomp2.3-mathcomp-classical-1.8.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.7.0","last_updated":"2025-01-05T01:56:15Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/a3nwdzy4havqh0yblz3yzigvkqiw7ckx-coq8.20-mathcomp2.2-mathcomp-classical-1.7.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/9bv1x9hragq8cg428is630yqwcv4cnnb-coq8.20-mathcomp2.2-mathcomp-classical-1.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/9r3rmvc60xlvb2v4iasr1jj4zr2b98yp-coq8.20-mathcomp2.2-mathcomp-classical-1.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/myjhnzzbk3phj9aw5w6z04k0rngr6zzw-coq8.20-mathcomp2.2-mathcomp-classical-1.7.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.5.0","last_updated":"2024-12-03T12:40:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/bh3628gh173w12mnffkj6zzjkm7asaml-coq8.20-mathcomp2.2-mathcomp-classical-1.5.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/yfb2alzlsr1xss6l282vx89pj11fa1h8-coq8.20-mathcomp2.2-mathcomp-classical-1.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/pk2qc6gkv7lcs0rgp4gswc8r79jvqq34-coq8.20-mathcomp2.2-mathcomp-classical-1.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/ics5jlnjqb98rs6f3f2k5h5f1ds9x91v-coq8.20-mathcomp2.2-mathcomp-classical-1.5.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.4.0","last_updated":"2024-10-13T23:44:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/555cy2shm7qcrykv6ldsb2q6mbip8pzg-coq8.20-mathcomp2.2-mathcomp-classical-1.4.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/16z3dx49wyks1rk5f390nqsnl6arcb43-coq8.20-mathcomp2.2-mathcomp-classical-1.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/3d15xmm983mi6wz56zhgvn6i7d6vjhbb-coq8.20-mathcomp2.2-mathcomp-classical-1.4.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/mzgqh2frc7bvmqnkgx5kc6p1hass5bcl-coq8.20-mathcomp2.2-mathcomp-classical-1.4.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.1.0","last_updated":"2024-09-23T10:58:17Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"568bfef547c14ca438c56a0bece08b8bb2b71a9c","date":"2024-09-23T10:58:17Z","outputs":[{"name":"out","path":"/nix/store/g5vw5xc7panny58dicw2b2r66fv2g4lr-coq8.20-mathcomp2.2-mathcomp-classical-1.1.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"568bfef547c14ca438c56a0bece08b8bb2b71a9c","date":"2024-09-23T10:58:17Z","outputs":[{"name":"out","path":"/nix/store/fniiwcijsbild49x28r4p8yg7vh95rr0-coq8.20-mathcomp2.2-mathcomp-classical-1.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"568bfef547c14ca438c56a0bece08b8bb2b71a9c","date":"2024-09-23T10:58:17Z","outputs":[{"name":"out","path":"/nix/store/53qw5x0kg7yn8g0jpi22vfl7bcdrgxk7-coq8.20-mathcomp2.2-mathcomp-classical-1.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"568bfef547c14ca438c56a0bece08b8bb2b71a9c","date":"2024-09-23T10:58:17Z","outputs":[{"name":"out","path":"/nix/store/vxi1cbbwmndq3086rzc3i2r2514mx36c-coq8.20-mathcomp2.2-mathcomp-classical-1.1.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.7.0","last_updated":"2024-08-14T11:41:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/jcg8ir9jv64inhigppyqcvg3dx5fsv60-coq8.19-mathcomp1.19-mathcomp-classical-0.7.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/b8ak1839yn1v6x3dc1np6cvdapxd8biq-coq8.19-mathcomp1.19-mathcomp-classical-0.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/bnbjly49rv2qmq6ha092sw0lj2m6kpnq-coq8.19-mathcomp1.19-mathcomp-classical-0.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/sq1vk8h0cgynlq7sf6q8l7g13ynzwx8g-coq8.19-mathcomp1.19-mathcomp-classical-0.7.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.6.6","last_updated":"2024-02-08T11:55:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"c0b7a892fb042ede583bdaecbbdc804acb85eabe","date":"2024-02-08T11:55:47Z","outputs":[{"name":"out","path":"/nix/store/sj9kc7hzg1rj12zv00h5wb7bfd0nsk6m-coq8.18-mathcomp1.18-mathcomp-classical-0.6.6","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"c0b7a892fb042ede583bdaecbbdc804acb85eabe","date":"2024-02-08T11:55:47Z","outputs":[{"name":"out","path":"/nix/store/40b2p3a2z44v05aip1c0vgnq55lvhi8l-coq8.18-mathcomp1.18-mathcomp-classical-0.6.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"c0b7a892fb042ede583bdaecbbdc804acb85eabe","date":"2024-02-08T11:55:47Z","outputs":[{"name":"out","path":"/nix/store/r8ms89prgw1w3ihb211kgkh8ikfca0xq-coq8.18-mathcomp1.18-mathcomp-classical-0.6.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"160b762eda6d139ac10ae081f8f78d640dd523eb","date":"2024-01-27T14:55:31Z","outputs":[{"name":"out","path":"/nix/store/k9iv6hf82gfwxf478szqs92kga47x2pw-coq8.18-mathcomp1.18-mathcomp-classical-0.6.6","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.6.1","last_updated":"2023-11-11T17:51:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/4030zfa5gg35zsf2fd8b19n11j3h8n4p-coq8.18-mathcomp1.17-mathcomp-classical-0.6.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/2470i6lzzai7kmzmgh1n0k05hy3w199g-coq8.18-mathcomp1.17-mathcomp-classical-0.6.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/8bxksnqpx96z7g8vn2q1pic4kwy34r67-coq8.18-mathcomp1.17-mathcomp-classical-0.6.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"911ad1e67f458b6bcf0278fa85e33bb9924fed7e","date":"2023-11-11T17:51:48Z","outputs":[{"name":"out","path":"/nix/store/h9zq94zdjy3qnxxbaafnrzpnmjmx3a4r-coq8.18-mathcomp1.17-mathcomp-classical-0.6.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.5.3","last_updated":"2023-03-03T04:15:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"995edc972ad3a1e291ac22d74b9610821357175f","date":"2023-02-28T22:11:13Z","outputs":[{"name":"out","path":"/nix/store/nh1xh94b67z3bhqbdhwc569s2wmqd6p2-coq8.16-mathcomp1.15-mathcomp-classical-0.5.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/rww4fjdvjc8fa198f5akd76vwrnady9x-coq8.16-mathcomp1.15-mathcomp-classical-0.5.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"995edc972ad3a1e291ac22d74b9610821357175f","date":"2023-02-28T22:11:13Z","outputs":[{"name":"out","path":"/nix/store/9nklyxppiha3283dgg6qv696370q3ivm-coq8.16-mathcomp1.15-mathcomp-classical-0.5.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-classical","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/nnpxfby9c55jqx1kzsgx7411a0k7hj36-coq8.16-mathcomp1.15-mathcomp-classical-0.5.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}