nixsearch / pkg / coqPackages.coqtail-math / 20201124
coqPackages.coqtail-math 20201124
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.coqtail-math@20201124
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit0bbb65673c0ba31047c9ba6c4cd211556b534a4e
$ nix shell github:NixOS/nixpkgs/0bbb65673c0ba31047c9ba6c4cd211556b534a4e#coqPackages.coqtail-math
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.coqtail-math |
0bbb65673c0b | |||
aarch64-linuxLinux · arm64 |
coqPackages.coqtail-math |
0bbb65673c0b | out/nix/store/px0dd6w3mpid52fgavkq5xv9yd0jl67y-coq8.13-coqtail-math-20201124 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.coqtail-math |
0bbb65673c0b | |||
x86_64-linuxLinux · x86-64 |
coqPackages.coqtail-math |
0bbb65673c0b |
JSON: /v2/pkg?name=coqPackages.coqtail-math · /v2/resolve?name=coqPackages.coqtail-math&version=20201124