{"name":"emacs27Packages.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":["emacs27Packages.agda-input"],"releases":[{"version":"2.6.2.2","last_updated":"2022-04-13T09:49:25Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs27Packages.agda-input","commit_hash":"0343e3415784b2cd9c68924294794f7dbee12ab3","date":"2022-04-13T09:49:25Z","outputs":[{"name":"out","path":"/nix/store/liqs0q0c7nms5bnpkz7wwkdmilqflk3y-emacs-agda-input-2.6.2.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.2.1","last_updated":"2022-03-21T18:25:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs27Packages.agda-input","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/3gzkssis20ikh0b0ah6frz11zbx9jsgf-emacs-agda-input-2.6.2.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs27Packages.agda-input","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/h16gd3c1byz4knfy95m05w0k5xb1c7r1-emacs-agda-input-2.6.2.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs27Packages.agda-input","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/3l3fnja0jpk3i7kbm03qcyl3h3jqcx3l-emacs-agda-input-2.6.2.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacs27Packages.agda-input","commit_hash":"98bb5b77c8c6666824a4c13d23befa1e07210ef1","date":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/q60kahxsx4fmgc58w3b188bxmlj90s6s-emacs-agda-input-2.6.2.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}