nixsearch
nixsearch / pkg / coqPackages.addition-chains / 0.5

coqPackages.addition-chains 0.5

Exponentiation algorithms following addition chains
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.addition-chains@0.5
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commit7feed2c0bec4161c83509d18089784cfcef49667 
$ nix shell github:NixOS/nixpkgs/7feed2c0bec4161c83509d18089784cfcef49667#coqPackages.addition-chains
systemsaarch64-linux commit98bb5b77c8c6666824a4c13d23befa1e07210ef1 
$ nix shell github:NixOS/nixpkgs/98bb5b77c8c6666824a4c13d23befa1e07210ef1#coqPackages.addition-chains

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.addition-chains 7feed2c0bec4
aarch64-linux
Linux · arm64		 coqPackages.addition-chains 98bb5b77c8c6
out
/nix/store/8mnd1cja8c5xb5mhlx92qwrmz6xs4fs2-coq8.13-addition-chains-0.5
x86_64-darwin
macOS · x86-64		 coqPackages.addition-chains 7feed2c0bec4
x86_64-linux
Linux · x86-64		 coqPackages.addition-chains 7feed2c0bec4
← newer: 0.6 all 3 releases older: 0.4 →

JSON: /v2/pkg?name=coqPackages.addition-chains · /v2/resolve?name=coqPackages.addition-chains&version=0.5