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

emacs28Packages.agda-input 2.6.2.2

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

Pin this version

$ devbox add emacs28Packages.agda-input@2.6.2.2
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit31acb601e388eb7d552f137dbe5cb4677fdf1c3c 
$ nix shell github:NixOS/nixpkgs/31acb601e388eb7d552f137dbe5cb4677fdf1c3c#emacs28Packages.agda-input

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 emacs28Packages.agda-input 31acb601e388
out
/nix/store/6fnjnzij3kdwd7pigx7ymy2fiijkah73-emacs-agda-input-2.6.2.2
aarch64-linux
Linux · arm64		 emacs28Packages.agda-input 31acb601e388
out
/nix/store/9rl3jv43kkpa4wjw82b8g9dr4d7ai9i0-emacs-agda-input-2.6.2.2
x86_64-darwin
macOS · x86-64		 emacs28Packages.agda-input 31acb601e388
out
/nix/store/bp0gb5hnc3z3pa3ij7idpyydv9iiiyml-emacs-agda-input-2.6.2.2
x86_64-linux
Linux · x86-64		 emacs28Packages.agda-input 31acb601e388
out
/nix/store/v5jrkr1lxidn4rpn3nqqdhjkqxv70i7w-emacs-agda-input-2.6.2.2
all 1 releases

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