{"name":"emacs28Packages.agda-input","summary":"Standalone package providing the agda-input method without building Agda.","description":"","homepage_url":"https://hackage.haskell.org/package/Agda","license":"unknown","attribute_paths":["emacs28Packages.agda-input"],"releases":[{"version":"2.6.2.2","last_updated":"2022-10-22T16:07:30Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs28Packages.agda-input","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/6fnjnzij3kdwd7pigx7ymy2fiijkah73-emacs-agda-input-2.6.2.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs28Packages.agda-input","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/9rl3jv43kkpa4wjw82b8g9dr4d7ai9i0-emacs-agda-input-2.6.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs28Packages.agda-input","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/bp0gb5hnc3z3pa3ij7idpyydv9iiiyml-emacs-agda-input-2.6.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacs28Packages.agda-input","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/v5jrkr1lxidn4rpn3nqqdhjkqxv70i7w-emacs-agda-input-2.6.2.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}