{"name":"emacs28Packages.agda-input","version":"2.6.2.2","summary":"Standalone package providing the agda-input method without building Agda.","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"emacs28Packages.agda-input"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/6fnjnzij3kdwd7pigx7ymy2fiijkah73-emacs-agda-input-2.6.2.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"emacs28Packages.agda-input"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/9rl3jv43kkpa4wjw82b8g9dr4d7ai9i0-emacs-agda-input-2.6.2.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"emacs28Packages.agda-input"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/bp0gb5hnc3z3pa3ij7idpyydv9iiiyml-emacs-agda-input-2.6.2.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"emacs28Packages.agda-input"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/v5jrkr1lxidn4rpn3nqqdhjkqxv70i7w-emacs-agda-input-2.6.2.2","default":true}]}}}