{"name":"rocqPackages.bignums","summary":"","description":"","homepage_url":"https://github.com/rocq-community/bignums","license":"LGPL-2.0","attribute_paths":["rocqPackages.bignums"],"releases":[{"version":"9.0.0+rocq9.1","last_updated":"2026-08-12T11:28:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocqPackages.bignums","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/psfzn7klf626kz02bsxdzixrpwr42axs-rocq9.1-bignums-9.0.0+rocq9.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocqPackages.bignums","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/84mijwzr4nsin4100lcz29wqn1k36c0y-rocq9.1-bignums-9.0.0+rocq9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocqPackages.bignums","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/818087vs96gci10268ny49hvcc0cyfr6-rocq-core9.1-bignums-9.0.0+rocq9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocqPackages.bignums","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/kmxbsccgfxmvqnc6z2k6k5i62z3ys682-rocq9.1-bignums-9.0.0+rocq9.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"9.0.0+rocq9.0","last_updated":"2026-03-21T07:29:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"rocqPackages.bignums","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/ibkrgy1df7r9vn9v25lxra808a6gn44h-rocq-core9.0-bignums-9.0.0+rocq9.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"rocqPackages.bignums","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/mpprcb8nmlf31ia3y5p66mwynhc5zi8s-rocq-core9.0-bignums-9.0.0+rocq9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"rocqPackages.bignums","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/3p1xm83y46l01zgjkxvgb5gffyg2fmhg-rocq-core9.0-bignums-9.0.0+rocq9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"rocqPackages.bignums","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/daia3rwbingfv8h8vlpa1xs6vnb0arg8-rocq-core9.0-bignums-9.0.0+rocq9.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}