{"name":"coqPackages.mathcomp-reals","summary":"Analysis library compatible with Mathematical Components","description":"","homepage_url":"https://github.com/math-comp/analysis","license":"CECILL-C","attribute_paths":["coqPackages.mathcomp-reals"],"releases":[{"version":"1.16.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/d8ad6iq5vrvkrr3wz30dfhip5rgxli18-rocq9.1-mathcomp2.5-mathcomp-reals-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/g276ffwwagkmsxb6v5abka4cnzpm5bi2-rocq9.1-mathcomp2.5-mathcomp-reals-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/bccjaqn0nssbzahgg069vzwqk49zp1w0-rocq-core9.1-mathcomp2.5-mathcomp-reals-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/4rbbkvz4jkqg6mqig1ga4n7946jx1s8v-rocq9.1-mathcomp2.5-mathcomp-reals-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-reals","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/9ybqgw8z7clia6z44vfvp0jqbis5g5ya-coq9.0-mathcomp2.5-mathcomp-reals-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/y4g5jm5vrys18cd8z8isp3yh53d738c5-coq9.0-mathcomp2.5-mathcomp-reals-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/4hsxmrzrgzy4cm6054637nr23lmfr7dw-coq9.0-mathcomp2.5-mathcomp-reals-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/jzyq3qdvak8qq87qqxdrd8m16say16hq-coq9.0-mathcomp2.5-mathcomp-reals-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-reals","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/6rmdg2ialazvlll75p9641rzp11283n5-coq9.0-mathcomp2.4-mathcomp-reals-1.12.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/4q16kcvn5z0m7hbhwg9drxma9p8qpnw4-coq9.0-mathcomp2.4-mathcomp-reals-1.12.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/sw8f2apgd7qvdzv7qf5gyykbwk894ajm-coq9.0-mathcomp2.4-mathcomp-reals-1.12.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/99m9dd9kh6ih1di8hhyy65hmlbf36xrd-coq9.0-mathcomp2.4-mathcomp-reals-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-reals","commit_hash":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6","date":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/4jyab36wvlqrbz853jy01bbyiqkjbn8l-coq9.0-mathcomp2.4-mathcomp-reals-1.11.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6","date":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/1xjf44p02cz443qizad2sx6a41sb2cyr-coq9.0-mathcomp2.4-mathcomp-reals-1.11.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6","date":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/6a39ld8y8qdy4hmknyz3amk9n5a30yp9-coq9.0-mathcomp2.4-mathcomp-reals-1.11.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6","date":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/4yvalk94qb1p9rck1pc2j9ipclf8cyrv-coq9.0-mathcomp2.4-mathcomp-reals-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-reals","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/sd87wrddqm9jban461bci8agzyhv0mxf-coq8.20-mathcomp2.3-mathcomp-reals-1.9.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/g3fi78pygk7w3xby39vkisrqb3g7ylmr-coq8.20-mathcomp2.3-mathcomp-reals-1.9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/8nifhh20vhl4wn2jpalf1biv70qbkalp-coq8.20-mathcomp2.3-mathcomp-reals-1.9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/ybl6y0z7gzpxzy462fyb6y7mrmld5428-coq8.20-mathcomp2.3-mathcomp-reals-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-reals","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/qy7a712jghwppjn8cfrfmh0kzwnpjjkp-coq8.20-mathcomp2.3-mathcomp-reals-1.8.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/zxqq4p18vdszpx6pfaa4bwlapqbmwq11-coq8.20-mathcomp2.3-mathcomp-reals-1.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/bm09hhn1jrdrrp8y72c7kfkazxbpppw3-coq8.20-mathcomp2.3-mathcomp-reals-1.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/2bhq0zqx0cgw0wgh25csjkvvhis3g2z2-coq8.20-mathcomp2.3-mathcomp-reals-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-reals","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/9wy5mjizn6ak9zpavf2xjgvgx8dwc32k-coq8.20-mathcomp2.2-mathcomp-reals-1.7.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/pcgr9a5kal55f26lb0i7vva8gah9xa2b-coq8.20-mathcomp2.2-mathcomp-reals-1.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/hmrl135gmhh6hblvch30480zb3147qvf-coq8.20-mathcomp2.2-mathcomp-reals-1.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/l1ghcipi2wyf73gdqs1ia24aqxf7hgav-coq8.20-mathcomp2.2-mathcomp-reals-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-reals","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/3dq6iali3hqdh4jfdrkf448aznp0hr5a-coq8.20-mathcomp2.2-mathcomp-reals-1.5.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/h80k69y4p5h4pvimzkdqz1gn8s9dk9lr-coq8.20-mathcomp2.2-mathcomp-reals-1.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/vzm62hgmddlfbfkc3ag1aadb5vgi6nff-coq8.20-mathcomp2.2-mathcomp-reals-1.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/zql0xc9kcqwzl6fvsngl8pbji00p91nn-coq8.20-mathcomp2.2-mathcomp-reals-1.5.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}