nixsearch / pkg / coqPackages.coqtail-math
coqPackages.coqtail-math
version20201124
attributecoqPackages.coqtail-math
rev0bbb65673c0ba31047c9ba6c4cd211556b534a4e · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add coqPackages.coqtail-math@20201124
$ nix shell github:NixOS/nixpkgs/0bbb65673c0ba31047c9ba6c4cd211556b534a4e#coqPackages.coqtail-math
JSON: /v2/resolve?name=coqPackages.coqtail-math&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 20201124resolved | ✓ | ✓ | ✓ | ✓ | coqPackages.coqtail-math |
0bbb65673c | ||
| 8.14 | ✓ | ✓ | ✓ | ✓ | coqPackages.coqtail-math |
e0ed589d74 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.