{"name":"emacsPackages.agda-input","version":"2.6.4","summary":"Standalone package providing the agda-input method without building Agda.","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"emacsPackages.agda-input"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/56msr4v0gmyp8fjbfwr0d5akgzwcw5yb-emacs-agda-input-2.6.4","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"emacsPackages.agda-input"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/v617cadi2ccjnkphd5m99h2500xriiyr-emacs-agda-input-2.6.4","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"emacsPackages.agda-input"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/q3pgbrxk2xl8mfcjapd63dzqyckp3g0c-emacs-agda-input-2.6.4","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"emacsPackages.agda-input"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/k46sidr8026fdwhsjb5m1wmpb8rz5kgj-emacs-agda-input-2.6.4","default":true}]}}}