{"name":"emacsPackages.agda-input","summary":"Standalone package providing the agda-input method without building Agda","description":"","homepage_url":"https://hackage.haskell.org/package/Agda","license":"MIT","attribute_paths":["emacsPackages.agda-input"],"releases":[{"version":"2.6.4.3","last_updated":"2024-07-07T07:43:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.agda-input","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/m52ildb0rqz1m6ji8q7cmzx1bzhj6g8y-emacs-agda-input-2.6.4.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.agda-input","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/kab5sq9zfw8lpb1sjaxmhr5n3idmm051-emacs-agda-input-2.6.4.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.agda-input","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/9h7swfvhsl1p7nf792g1i6yhf69sghy4-emacs-agda-input-2.6.4.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.agda-input","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/32lh03fsmmyyr8a4j78jm5mxkh1xfkzd-emacs-agda-input-2.6.4.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.4.1","last_updated":"2024-03-23T13:32:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.agda-input","commit_hash":"20bc93ca7b2158ebc99b8cef987a2173a81cde35","date":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/h5srbqfgyw842wmlmlifx7yz08v9b0vs-emacs-agda-input-2.6.4.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.agda-input","commit_hash":"a3ed7406349a9335cb4c2a71369b697cecd9d351","date":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/jd942bgiqzbcny37nxn5kdic6j4by9as-emacs-agda-input-2.6.4.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.agda-input","commit_hash":"20bc93ca7b2158ebc99b8cef987a2173a81cde35","date":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/xcxgg2b2hdmb8w1j8yjznn9racb79bfv-emacs-agda-input-2.6.4.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.agda-input","commit_hash":"a3ed7406349a9335cb4c2a71369b697cecd9d351","date":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/l89byq6k8vpi3vp50pli11raf3mjyxnh-emacs-agda-input-2.6.4.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.4","last_updated":"2023-12-13T22:54:10Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.agda-input","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/56msr4v0gmyp8fjbfwr0d5akgzwcw5yb-emacs-agda-input-2.6.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.agda-input","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/v617cadi2ccjnkphd5m99h2500xriiyr-emacs-agda-input-2.6.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.agda-input","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/q3pgbrxk2xl8mfcjapd63dzqyckp3g0c-emacs-agda-input-2.6.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.agda-input","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/k46sidr8026fdwhsjb5m1wmpb8rz5kgj-emacs-agda-input-2.6.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.3","last_updated":"2023-10-25T20:49:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.agda-input","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/vmghd8bkvfmzhy9dval06h4ddj627nrw-emacs-agda-input-2.6.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.agda-input","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/nzg8zlfvlv5m91266bm4rvi5xqy5fz74-emacs-agda-input-2.6.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.agda-input","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/x6glnrrfqygdvg2s3c558msshffx530f-emacs-agda-input-2.6.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.agda-input","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/g7iz6v6c85yyna8nsykphklll6cg1q86-emacs-agda-input-2.6.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.2.2","last_updated":"2023-02-14T00:52:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.agda-input","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/j8x5d3q9mdvdxw1ganfsqs7zz02b0f14-emacs-agda-input-2.6.2.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.agda-input","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/71mwk95i4advq472ih9prgkb5n44crza-emacs-agda-input-2.6.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.agda-input","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/32f7b38yrlahd7nibifxm2jc0yn71r7z-emacs-agda-input-2.6.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.agda-input","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/882ml5qk2lgq9fa6bvmm8w1wjznsd89v-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}]}