nixsearch / pkg / coqPackages.mathcomp-word / 1.1
coqPackages.mathcomp-word 1.1
Yet Another Coq Library on Machine Words
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.mathcomp-word@1.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commite5f9412eca200270da0d1507190de9b312bd4458
$ nix shell github:NixOS/nixpkgs/e5f9412eca200270da0d1507190de9b312bd4458#coqPackages.mathcomp-word
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.mathcomp-word |
e5f9412eca20 | out/nix/store/4i2jj5qnawm44sbib77i72wb1j2qjg7s-coq8.15-mathcomp1.15-word-1.1 |
||
aarch64-linuxLinux · arm64 |
coqPackages.mathcomp-word |
e5f9412eca20 | out/nix/store/g8z21n83kswh0aqf5kfw0k4dm567kmpm-coq8.15-mathcomp1.15-word-1.1 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.mathcomp-word |
e5f9412eca20 | out/nix/store/xajmaxvvdfd4wmj13w8848b4iicb4a95-coq8.15-mathcomp1.15-word-1.1 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.mathcomp-word |
e5f9412eca20 | out/nix/store/y3vv5fmisqps5311l6bjh5f9x9hrbbyv-coq8.15-mathcomp1.15-word-1.1 |
JSON: /v2/pkg?name=coqPackages.mathcomp-word · /v2/resolve?name=coqPackages.mathcomp-word&version=1.1