nixsearch
nixsearch / pkg / coqPackages.mathcomp-word / 2.4

coqPackages.mathcomp-word 2.4

Yet Another Coq Library on Machine Words
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.mathcomp-word@2.4
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465 
$ nix shell github:NixOS/nixpkgs/0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465#coqPackages.mathcomp-word

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.mathcomp-word 0cb2fd7c59fe
out
/nix/store/j4ip6sm346ranfqq373f0nkwbjl3l663-coq8.19-mathcomp1.19-word-2.4
aarch64-linux
Linux · arm64		 coqPackages.mathcomp-word 0cb2fd7c59fe
out
/nix/store/6ax0w1v0hh1yqbq12z21i3jhgi60hdgz-coq8.19-mathcomp1.19-word-2.4
x86_64-darwin
macOS · x86-64		 coqPackages.mathcomp-word 0cb2fd7c59fe
out
/nix/store/0x463lp2b8zp5kx3kc4i26g6ydwh8f4g-coq8.19-mathcomp1.19-word-2.4
x86_64-linux
Linux · x86-64		 coqPackages.mathcomp-word 0cb2fd7c59fe
out
/nix/store/1p9yl1knj7dkgxy6hzd7i5y77ygi5752-coq8.19-mathcomp1.19-word-2.4
← newer: 3.2 all 11 releases older: 2.3 →

JSON: /v2/pkg?name=coqPackages.mathcomp-word · /v2/resolve?name=coqPackages.mathcomp-word&version=2.4