{"name":"coqPackages.mathcomp-bigenough","summary":"Small library to do epsilon - N reasonning","description":"","homepage_url":"https://github.com/math-comp/bigenough","license":"CECILL-B","attribute_paths":["coqPackages.mathcomp-bigenough"],"releases":[{"version":"1.0.4","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/0qa02bv5ljdphnin4yjxdf2hgljcicb2-rocq9.1-mathcomp2.5-bigenough-1.0.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/3q3wnq3y088lwnl3pplsdz2sj0p73q2h-rocq9.1-mathcomp2.5-bigenough-1.0.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/1i585zn92vl6qb8ccg4q9pkszmdhj2gp-rocq-core9.1-mathcomp2.5-bigenough-1.0.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/cqf762xgbi8g8rwj9wkqx2had9lzly2d-rocq9.1-mathcomp2.5-bigenough-1.0.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0.3","last_updated":"2026-01-30T02:32:49Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"6308c3b21396534d8aaeac46179c14c439a89b8a","date":"2026-01-30T02:32:49Z","outputs":[{"name":"out","path":"/nix/store/vdisip3l6mgx0k28plpp4jz38lrg72yl-coq9.0-mathcomp2.5-bigenough-1.0.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"6308c3b21396534d8aaeac46179c14c439a89b8a","date":"2026-01-30T02:32:49Z","outputs":[{"name":"out","path":"/nix/store/z3258df67815d3b9rnx07ky7cz4wy2d2-coq9.0-mathcomp2.5-bigenough-1.0.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"6308c3b21396534d8aaeac46179c14c439a89b8a","date":"2026-01-30T02:32:49Z","outputs":[{"name":"out","path":"/nix/store/7wd2j0xp5ddac5vhawsqwn466wm0dslr-coq9.0-mathcomp2.5-bigenough-1.0.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"6308c3b21396534d8aaeac46179c14c439a89b8a","date":"2026-01-30T02:32:49Z","outputs":[{"name":"out","path":"/nix/store/1cnl2x4zjfl90r4d2vdyilc6b8ykbxrr-coq9.0-mathcomp2.5-bigenough-1.0.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0.2","last_updated":"2025-11-04T19:54:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/zmvfyfnapghk4rpsdixv6vv8rd8mc2rv-coq9.0-mathcomp2.4-bigenough-1.0.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/aacp02y4g00ysa0qbbqg5q0jwc4pznla-coq9.0-mathcomp2.4-bigenough-1.0.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/8lhi5885rnfi1cs4brfblwkgxm5vd90n-coq9.0-mathcomp2.4-bigenough-1.0.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/lmxsy3pcifjj2cwv0z02pvvv3wsabr11-coq9.0-mathcomp2.4-bigenough-1.0.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0.1","last_updated":"2025-01-24T01:56:22Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"4dfc61e9cd0c26b3bc3e6d6fac3ba10d18959fc4","date":"2025-01-24T01:56:22Z","outputs":[{"name":"out","path":"/nix/store/0raa092swcjizv3wjym8qggkrzd78zjj-coq8.20-mathcomp2.3-bigenough-1.0.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"4dfc61e9cd0c26b3bc3e6d6fac3ba10d18959fc4","date":"2025-01-24T01:56:22Z","outputs":[{"name":"out","path":"/nix/store/6gb448k2mmgmg5ia8cr25ayn5na7s780-coq8.20-mathcomp2.3-bigenough-1.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"4dfc61e9cd0c26b3bc3e6d6fac3ba10d18959fc4","date":"2025-01-24T01:56:22Z","outputs":[{"name":"out","path":"/nix/store/bksga9a10lxfmcwbvh8gqfn02xyhpqsf-coq8.20-mathcomp2.3-bigenough-1.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"4dfc61e9cd0c26b3bc3e6d6fac3ba10d18959fc4","date":"2025-01-24T01:56:22Z","outputs":[{"name":"out","path":"/nix/store/7ijp16lw0rj3c5pjz3ij5xx6gjfww0cs-coq8.20-mathcomp2.3-bigenough-1.0.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0.0","last_updated":"2021-12-03T17:41:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-bigenough","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}