{"name":"emacs27Packages.agda-input","version":"2.6.2.2","summary":"Standalone package providing the agda-input method without building Agda.","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0343e3415784b2cd9c68924294794f7dbee12ab3"},"attr_path":"emacs27Packages.agda-input"},"last_updated":"2022-04-13T09:49:25Z","outputs":[{"name":"out","path":"/nix/store/liqs0q0c7nms5bnpkz7wwkdmilqflk3y-emacs-agda-input-2.6.2.2","default":true}]}}}