nixsearch / pkg / emacs27Packages.agda-input
emacs27Packages.agda-input
Standalone package providing the agda-input method without building Agda.
version2.6.2.2
attributeemacs27Packages.agda-input
rev0343e3415784b2cd9c68924294794f7dbee12ab3 · one commit for every system
systemsaarch64-darwin✓ aarch64-linuxx86_64-darwinx86_64-linux
$ devbox add emacs27Packages.agda-input@2.6.2.2
$ nix shell github:NixOS/nixpkgs/0343e3415784b2cd9c68924294794f7dbee12ab3#emacs27Packages.agda-input
JSON: /v2/resolve?name=emacs27Packages.agda-input&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 2.6.2.2resolved | – | ✓ | – | – | emacs27Packages.agda-input |
0343e34157 | ||
| 2.6.2.1 | ✓ | ✓ | ✓ | ✓ | emacs27Packages.agda-input |
varies |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.