nixsearch
nixsearch / pkg / emacs27Packages.agda-input / 2.6.2.2

emacs27Packages.agda-input 2.6.2.2

Standalone package providing the agda-input method without building Agda.
Linux last changed

Pin this version

$ devbox add emacs27Packages.agda-input@2.6.2.2
systemsaarch64-linux commit0343e3415784b2cd9c68924294794f7dbee12ab3 
$ nix shell github:NixOS/nixpkgs/0343e3415784b2cd9c68924294794f7dbee12ab3#emacs27Packages.agda-input

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-linux
Linux · arm64		 emacs27Packages.agda-input 0343e3415784
out
/nix/store/liqs0q0c7nms5bnpkz7wwkdmilqflk3y-emacs-agda-input-2.6.2.2
all 2 releases older: 2.6.2.1 →

JSON: /v2/pkg?name=emacs27Packages.agda-input · /v2/resolve?name=emacs27Packages.agda-input&version=2.6.2.2