nixsearch
nixsearch / pkg / rocqPackages.bignums / 9.0.0+rocq9.0

rocqPackages.bignums 9.0.0+rocq9.0

Linux and macOS last changed

Pin this version

$ devbox add rocqPackages.bignums@9.0.0+rocq9.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit09061f748ee21f68a089cd5d91ec1859cd93d0be 
$ nix shell github:NixOS/nixpkgs/09061f748ee21f68a089cd5d91ec1859cd93d0be#rocqPackages.bignums

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 rocqPackages.bignums 09061f748ee2
out
/nix/store/ibkrgy1df7r9vn9v25lxra808a6gn44h-rocq-core9.0-bignums-9.0.0+rocq9.0
aarch64-linux
Linux · arm64		 rocqPackages.bignums 09061f748ee2
out
/nix/store/mpprcb8nmlf31ia3y5p66mwynhc5zi8s-rocq-core9.0-bignums-9.0.0+rocq9.0
x86_64-darwin
macOS · x86-64		 rocqPackages.bignums 09061f748ee2
out
/nix/store/3p1xm83y46l01zgjkxvgb5gffyg2fmhg-rocq-core9.0-bignums-9.0.0+rocq9.0
x86_64-linux
Linux · x86-64		 rocqPackages.bignums 09061f748ee2
out
/nix/store/daia3rwbingfv8h8vlpa1xs6vnb0arg8-rocq-core9.0-bignums-9.0.0+rocq9.0
← newer: 9.0.0+rocq9.1 all 2 releases

JSON: /v2/pkg?name=rocqPackages.bignums · /v2/resolve?name=rocqPackages.bignums&version=9.0.0%2Brocq9.0