{"name":"coqPackages.mathcomp-real-closed","summary":"Mathematical Components Library on real closed fields","description":"","homepage_url":"https://github.com/math-comp/real-closed","license":"CECILL-C","attribute_paths":["coqPackages.mathcomp-real-closed"],"releases":[{"version":"2.0.5","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/jz9svxv33xfp73zsm51shya3n1mga73a-rocq9.1-mathcomp2.5-real-closed-2.0.5","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/3l7pfhh285dsgqrx8rswg98g6c8svzi8-rocq9.1-mathcomp2.5-real-closed-2.0.5","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/iim25xydd0pj0xpmbmkfnwicyfxs6nm0-rocq-core9.1-mathcomp2.5-real-closed-2.0.5","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/dzbrz6i9vw2my7f2xmfz1lh4nn9my56n-rocq9.1-mathcomp2.5-real-closed-2.0.5","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.0.3","last_updated":"2026-05-29T05:01:12Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"e9a7635a57597d9754eccebdfc7045e6c8600e6b","date":"2026-05-29T05:01:12Z","outputs":[{"name":"out","path":"/nix/store/69m71rah4ixwg9c5qglv2xb7sfmn1j7g-coq9.1-mathcomp2.5-real-closed-2.0.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"e9a7635a57597d9754eccebdfc7045e6c8600e6b","date":"2026-05-29T05:01:12Z","outputs":[{"name":"out","path":"/nix/store/qkibwvch2pjfdp6zglmbgzgl0mj0wxhp-coq9.1-mathcomp2.5-real-closed-2.0.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"e9a7635a57597d9754eccebdfc7045e6c8600e6b","date":"2026-05-29T05:01:12Z","outputs":[{"name":"out","path":"/nix/store/1ais1pypj0ia1yxwn3mrm87k8663iw12-coq9.1-mathcomp2.5-real-closed-2.0.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"e9a7635a57597d9754eccebdfc7045e6c8600e6b","date":"2026-05-29T05:01:12Z","outputs":[{"name":"out","path":"/nix/store/wmr5f0l6mzkx7h4cz97jwv695by8lw0z-coq9.1-mathcomp2.5-real-closed-2.0.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.0.2","last_updated":"2025-05-06T08:06:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"4be4d7a7758d92d60a092a503c93a381f95c71b1","date":"2025-05-02T12:26:36Z","outputs":[{"name":"out","path":"/nix/store/ll5wg083mm19zq0livdc2q42zqffq113-coq9.0-mathcomp2.3-real-closed-2.0.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/cldpxzgwnasgc0w4wc3lbxx34c47glf0-coq9.0-mathcomp2.3-real-closed-2.0.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"4be4d7a7758d92d60a092a503c93a381f95c71b1","date":"2025-05-02T12:26:36Z","outputs":[{"name":"out","path":"/nix/store/v2kwz67n0gmwxpyzj61xbzr5jar4inby-coq9.0-mathcomp2.3-real-closed-2.0.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/fmrfb92c4nwq03999za4fkyn6xasc1q9-coq9.0-mathcomp2.3-real-closed-2.0.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.0.1","last_updated":"2025-01-05T01:56:15Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/igflysjrf1xl7xwm3s3rm2w9kxahmv32-coq8.20-mathcomp2.2-real-closed-2.0.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/ln6bnb632zgnlqjmwwjqj716ayjhvs49-coq8.20-mathcomp2.2-real-closed-2.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/j5q962ri01arrr3n28vwlhklng6ks8c3-coq8.20-mathcomp2.2-real-closed-2.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/x25i38wagjjy58gpqpgypnv59gq7zfs0-coq8.20-mathcomp2.2-real-closed-2.0.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.1.4","last_updated":"2024-08-14T11:41:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/saalakg1jr3f0zh56zsrzxw9jacgr8rd-coq8.19-mathcomp1.19-real-closed-1.1.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/7zvr3dhlykzkg2y1fxb2j37lmp6l55h5-coq8.19-mathcomp1.19-real-closed-1.1.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/7kplih6kv3hiqx637w5fmzhfd2c7raf9-coq8.19-mathcomp1.19-real-closed-1.1.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/cfjnszsf0yx44rgbmjbn6lwi6bdxql8n-coq8.19-mathcomp1.19-real-closed-1.1.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.1.3","last_updated":"2023-03-03T04:15:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/i8f6hndcym8k3na2jsddzsh4s5dwik5k-coq8.16-mathcomp1.15-real-closed-1.1.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/zyfc6s0pb2mf0rrcih4cjkvfq165948x-coq8.16-mathcomp1.15-real-closed-1.1.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/6dgsvrx2wjyp2z9092g7yllyil2dibbc-coq8.16-mathcomp1.15-real-closed-1.1.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/dl3ndhxcmk7lbj3kv7wy35bz4jmvx3if-coq8.16-mathcomp1.15-real-closed-1.1.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.1.2","last_updated":"2022-08-27T08:52:24Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/0nk58f8fi09z9gaxzsrf8p5089i1m6r8-coq8.15-mathcomp1.14-real-closed-1.1.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/l2jim1zh6x0qil5g0h0nwgwzwj72xywd-coq8.15-mathcomp1.14-real-closed-1.1.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/6zgkphzlhrfdfm6q6zhz4nvv2ad076y6-coq8.15-mathcomp1.14-real-closed-1.1.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-real-closed","commit_hash":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a","date":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/l76agapp6id355qran2x7fignvg2pqml-coq8.15-mathcomp1.14-real-closed-1.1.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.1.1","last_updated":"2021-05-07T13:48:33Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-real-closed","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.0.4","last_updated":"2021-01-05T09:44:35Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-real-closed","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}]}