nixsearch / pkg / coqPackages.mathcomp-word / 2.0
coqPackages.mathcomp-word 2.0
Yet Another Coq Library on Machine Words
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.mathcomp-word@2.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit96ba1c52e54e74c3197f4d43026b3f3d92e83ff9
$ nix shell github:NixOS/nixpkgs/96ba1c52e54e74c3197f4d43026b3f3d92e83ff9#coqPackages.mathcomp-word
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.mathcomp-word |
96ba1c52e54e | out/nix/store/p62ij804rjqr050jgsbil2hcfkg8j8kk-coq8.16-mathcomp1.16-word-2.0 |
||
aarch64-linuxLinux · arm64 |
coqPackages.mathcomp-word |
96ba1c52e54e | out/nix/store/r40dyjn8yg9lvj4a0va8cfmlinbk3qpr-coq8.16-mathcomp1.16-word-2.0 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.mathcomp-word |
96ba1c52e54e | out/nix/store/zx65sswy1xg9zd6sywa19kfdpprgcl43-coq8.16-mathcomp1.16-word-2.0 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.mathcomp-word |
96ba1c52e54e | out/nix/store/w4d7l1mi5fjv40f3d58cfay3fgjwmg74-coq8.16-mathcomp1.16-word-2.0 |
JSON: /v2/pkg?name=coqPackages.mathcomp-word · /v2/resolve?name=coqPackages.mathcomp-word&version=2.0