{"name":"emacsPackages.agda-input","version":"2.6.4.1","summary":"Standalone package providing the agda-input method without building Agda.","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"20bc93ca7b2158ebc99b8cef987a2173a81cde35"},"attr_path":"emacsPackages.agda-input"},"last_updated":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/h5srbqfgyw842wmlmlifx7yz08v9b0vs-emacs-agda-input-2.6.4.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3ed7406349a9335cb4c2a71369b697cecd9d351"},"attr_path":"emacsPackages.agda-input"},"last_updated":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/jd942bgiqzbcny37nxn5kdic6j4by9as-emacs-agda-input-2.6.4.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"20bc93ca7b2158ebc99b8cef987a2173a81cde35"},"attr_path":"emacsPackages.agda-input"},"last_updated":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/xcxgg2b2hdmb8w1j8yjznn9racb79bfv-emacs-agda-input-2.6.4.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3ed7406349a9335cb4c2a71369b697cecd9d351"},"attr_path":"emacsPackages.agda-input"},"last_updated":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/l89byq6k8vpi3vp50pli11raf3mjyxnh-emacs-agda-input-2.6.4.1","default":true}]}}}