{"name":"coqPackages.mathcomp-finmap","summary":"Finset and finmap library","description":"","homepage_url":"https://github.com/math-comp/finmap","license":"CECILL-B","attribute_paths":["coqPackages.mathcomp-finmap"],"releases":[{"version":"2.2.2","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/b6sfqf1zwwxgc0x7n3skr54zhwwf1ppr-rocq9.1-mathcomp2.5-finmap-2.2.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/arbp9mh066gbw86qdnryp98bh2d1chwd-rocq9.1-mathcomp2.5-finmap-2.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/3frgz1m8vnbspnd5j6fcgvky73vyia45-rocq-core9.1-mathcomp2.5-finmap-2.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/y5mim4yqp8zhywsrzdl58n7s1fjh03wn-rocq9.1-mathcomp2.5-finmap-2.2.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.2.0","last_updated":"2025-11-04T19:54:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/j9frn8ny0xh145vpdhdbrrzragcrk5bx-coq9.0-mathcomp2.4-finmap-2.2.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/arsy4zmaz2vl7f4z32qcdmvp13s3pz0y-coq9.0-mathcomp2.4-finmap-2.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/8z62i5z7jw68pvbrrgnsaaw0sa5jp8s5-coq9.0-mathcomp2.4-finmap-2.2.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/aw3q43hwi31gwa5wqym6ampi4nq31vig-coq9.0-mathcomp2.4-finmap-2.2.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.1.0","last_updated":"2025-05-06T08:06:31Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"4be4d7a7758d92d60a092a503c93a381f95c71b1","date":"2025-05-02T12:26:36Z","outputs":[{"name":"out","path":"/nix/store/f529i74j778x49brj1j245nslfg195dq-coq9.0-mathcomp2.3-finmap-2.1.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/f84ciimjs5hs366n6zfy9brk6s3gwnc2-coq9.0-mathcomp2.3-finmap-2.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"4be4d7a7758d92d60a092a503c93a381f95c71b1","date":"2025-05-02T12:26:36Z","outputs":[{"name":"out","path":"/nix/store/x304lg9f3jwhvdkrmi52lmcj321fb6bk-coq9.0-mathcomp2.3-finmap-2.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"1cb1c02a6b1b7cf67e3d7731cbbf327a53da9679","date":"2025-05-06T08:06:31Z","outputs":[{"name":"out","path":"/nix/store/da39qjsr7f2bgjjajk1w0hnhylgd67c0-coq9.0-mathcomp2.3-finmap-2.1.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.5.2","last_updated":"2024-08-14T11:41:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/ny4l8vj1z8mm74pvm4jgmphq0lbg4m37-coq8.19-mathcomp1.19-finmap-1.5.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/vygvibs8rzkickfw0d3xjwgv0iy94jfl-coq8.19-mathcomp1.19-finmap-1.5.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/fxr3kg9xckjmm39xas8y9ryilxgf3rcd-coq8.19-mathcomp1.19-finmap-1.5.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/m9p0664kpgqr6as9zrh6283w8h09645m-coq8.19-mathcomp1.19-finmap-1.5.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.5.1","last_updated":"2022-07-10T17:20:56Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"3137fb373e36e39f605d44f97cb0f7807deefd1c","date":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/rckgmmcrcjsm2q4445d7rx79dra6908q-coq8.15-mathcomp1.14-finmap-1.5.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"3137fb373e36e39f605d44f97cb0f7807deefd1c","date":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/kma5wqws1jzyaqizk7m651hnichbgy3d-coq8.15-mathcomp1.14-finmap-1.5.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"3137fb373e36e39f605d44f97cb0f7807deefd1c","date":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/ydfw0mbddp719d9h765a799hk83a9kaj-coq8.15-mathcomp1.14-finmap-1.5.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"3137fb373e36e39f605d44f97cb0f7807deefd1c","date":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/jz5rivcvivdam2pgvqqcjzjn64m96snl-coq8.15-mathcomp1.14-finmap-1.5.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.4.0+coq-8.11","last_updated":"2021-01-05T09:44:35Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-finmap","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},{"version":"1.4.0","last_updated":"2020-08-14T19:01:46Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-finmap","commit_hash":"729e7295cf7b3205fcfa72544c1195c03de11c3d","date":"2020-08-14T19:01:46Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}