{"name":"coqPackages.mathcomp-reals-stdlib","summary":"Analysis library compatible with Mathematical Components","description":"","homepage_url":"https://github.com/math-comp/analysis","license":"CECILL-C","attribute_paths":["coqPackages.mathcomp-reals-stdlib"],"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-stdlib","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/nl8z0b2cyk7yxwixa4k1vdwlp9jb55r6-rocq9.1-mathcomp2.5-mathcomp-reals-stdlib-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/bmfx9m1grgi5g14yvb813nf3smnlpc8l-rocq9.1-mathcomp2.5-mathcomp-reals-stdlib-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/vnzsbx2c0x54pvdjmh5vhb1p5mj78gp1-rocq-core9.1-mathcomp2.5-mathcomp-reals-stdlib-1.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/iyc5nrkfik305wa31r42xw86hjym2rqa-rocq9.1-mathcomp2.5-mathcomp-reals-stdlib-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-stdlib","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/b9ijkkfipbaq7i29agh61f0yynym0r65-coq9.0-mathcomp2.5-mathcomp-reals-stdlib-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/8jjjjyw7ysds8b0dcf804ifk25cqkb4j-coq9.0-mathcomp2.5-mathcomp-reals-stdlib-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/pad665xa4ax47h2sl5n9c9hn66xz4hg3-coq9.0-mathcomp2.5-mathcomp-reals-stdlib-1.14.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/zw9pk8fzv3fh119wlag673ym5n26bs6b-coq9.0-mathcomp2.5-mathcomp-reals-stdlib-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-stdlib","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/c15hl81lbsq0jf756c2mw1kbmaxrpc1a-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.12.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/gycz4q9ili1qv2xyk1r5h3hk2csishga-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.12.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/n8w56m5saqaqrr5xxpyq2r7bmhxzn32i-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.12.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/z8f2yc5v8jhd15vhs43j9qjka3h09jkw-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-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-stdlib","commit_hash":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6","date":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/hvlfrzamvxza5zcljjhbm8n79hq7wk0z-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.11.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6","date":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/wyqzzs5hc3wm9m409kxpnqygapfwxcp2-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.11.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6","date":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/6m7fzbg9rsgwslw9q3fswgf1ksrwjsi1-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.11.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6","date":"2025-06-22T15:15:55Z","outputs":[{"name":"out","path":"/nix/store/mgjib2000l3hxn97dqqdzdr0gg36l1il-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-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-stdlib","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/g89h3k9r77fs0w0s9r9n9dhb5livhnq9-coq8.20-mathcomp2.3-mathcomp-reals-stdlib-1.9.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/zbfyp07g5jj0sqxjy0z64brvybi5mcj4-coq8.20-mathcomp2.3-mathcomp-reals-stdlib-1.9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/sx9w9b1d2inaxbi1139af0d9ap4kjb59-coq8.20-mathcomp2.3-mathcomp-reals-stdlib-1.9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/a8lzmak4lfa1m1s4bqgvj24d6fvdzga7-coq8.20-mathcomp2.3-mathcomp-reals-stdlib-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-stdlib","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/m5qs918asi9yc87vpn45wp0s1lh9jmf4-coq8.20-mathcomp2.3-mathcomp-reals-stdlib-1.8.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/2bsbmnzaymg6g19n7yzq2alb2n2cp1wg-coq8.20-mathcomp2.3-mathcomp-reals-stdlib-1.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/x5k22y37x433axmmaw3w8s4qx6pmdf3g-coq8.20-mathcomp2.3-mathcomp-reals-stdlib-1.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/s7cy1is6nvjg4yg2apjrsdn9j00nndnf-coq8.20-mathcomp2.3-mathcomp-reals-stdlib-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-stdlib","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/qgbzy6pn897rv3jvns7ydwsfwyv365vb-coq8.20-mathcomp2.2-mathcomp-reals-stdlib-1.7.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/qzp2iin826cj4d4cnacb7rks51rhhkwh-coq8.20-mathcomp2.2-mathcomp-reals-stdlib-1.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/3hdz5s36llrzlqv8y9y0y4xfz0xfvrh1-coq8.20-mathcomp2.2-mathcomp-reals-stdlib-1.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/qn00wm77k9x8gb73b2yl7a6ky6sgxynw-coq8.20-mathcomp2.2-mathcomp-reals-stdlib-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-stdlib","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/31ajymaw7sk4l7yx43jj1vyhv35akc15-coq8.20-mathcomp2.2-mathcomp-reals-stdlib-1.5.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/hlyq29b22xp99kjav3v0g0wnpwgj1xvv-coq8.20-mathcomp2.2-mathcomp-reals-stdlib-1.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/77ifw2drq9lvsg2wlnsddf02dswk1kjb-coq8.20-mathcomp2.2-mathcomp-reals-stdlib-1.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-reals-stdlib","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/jjlkbjq7pqnmdnn6fyfwsy79qi3jzpql-coq8.20-mathcomp2.2-mathcomp-reals-stdlib-1.5.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}