3 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| nixpkgs stable 21.11 | emacs-agda-input | 2.6.2 | emacs27Packages | fallback-mnt-nix@repology |
| nixpkgs stable 22.05 | emacs-agda-input | 2.6.2.2 | emacs28Packages | fallback-mnt-nix@repology |
| nixpkgs unstable | emacs-agda-input | 2.6.2.2 | emacs28Packages | fallback-mnt-nix@repology |