{"name":"vimPlugins.vim-agda","summary":"","description":"","homepage_url":"https://github.com/msuperdock/vim-agda/","license":"","attribute_paths":["vimPlugins.vim-agda"],"releases":[{"version":"2024-05-17","last_updated":"2025-11-23T21:50:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.vim-agda","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/3q05cnys7dy5h3405hrcikjvs0a8dl6v-vimplugin-vim-agda-2024-05-17","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.vim-agda","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/ml8cjdyss0b202kvx8a7p2kxwd81gb3m-vimplugin-vim-agda-2024-05-17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.vim-agda","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/az95ibipwf060ywfxvj5qzcmm8hfh4ll-vimplugin-vim-agda-2024-05-17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.vim-agda","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/8by8rrjfxdpa5fnyh27cqz6xvxjgv80j-vimplugin-vim-agda-2024-05-17","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2023-06-30","last_updated":"2024-05-24T22:06:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.vim-agda","commit_hash":"1a9df4f74273f90d04e621e8516777efcec2802a","date":"2024-05-24T22:06:51Z","outputs":[{"name":"out","path":"/nix/store/rg6bpd2xg8z671q01ij9r3szzdh4bk9x-vimplugin-vim-agda-2023-06-30","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.vim-agda","commit_hash":"1a9df4f74273f90d04e621e8516777efcec2802a","date":"2024-05-24T22:06:51Z","outputs":[{"name":"out","path":"/nix/store/30hxqmzb06yb88l5p3r9mqzl6vcv222s-vimplugin-vim-agda-2023-06-30","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.vim-agda","commit_hash":"1a9df4f74273f90d04e621e8516777efcec2802a","date":"2024-05-24T22:06:51Z","outputs":[{"name":"out","path":"/nix/store/6n3alir1h9h16534k14kxag1ax4sxd32-vimplugin-vim-agda-2023-06-30","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.vim-agda","commit_hash":"1a9df4f74273f90d04e621e8516777efcec2802a","date":"2024-05-24T22:06:51Z","outputs":[{"name":"out","path":"/nix/store/w0xpa27pviy2lxx5g83rxnsd1wppsyln-vimplugin-vim-agda-2023-06-30","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-09-16-unstable-2024-05-17","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.vim-agda","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/plsrwsaqyv7n36mbvr1nr30dw1i35i35-vimplugin-vim-agda-2022-09-16-unstable-2024-05-17","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.vim-agda","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/c3xb6gkfhqbvr194r2572p1pzz036mds-vimplugin-vim-agda-2022-09-16-unstable-2024-05-17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.vim-agda","commit_hash":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b","date":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/0ycnh71k7hphxp9j85lbszhpdhvaxh5w-vimplugin-vim-agda-2022-09-16-unstable-2024-05-17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.vim-agda","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/9rjsv0k6ad932jj760m077nakzd7nlsd-vimplugin-vim-agda-2022-09-16-unstable-2024-05-17","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2022-03-01","last_updated":"2023-10-11T07:26:37Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"vimPlugins.vim-agda","commit_hash":"01441e14af5e29c9d27ace398e6dd0b293e25a54","date":"2023-10-11T07:26:37Z","outputs":[{"name":"out","path":"/nix/store/fr0r7cwqzrfgsh0p4bkkhslh38hnnpcx-vimplugin-vim-agda-2022-03-01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"vimPlugins.vim-agda","commit_hash":"01441e14af5e29c9d27ace398e6dd0b293e25a54","date":"2023-10-11T07:26:37Z","outputs":[{"name":"out","path":"/nix/store/sxfj6scj549649n5j84jgrqv3h0f2wr4-vimplugin-vim-agda-2022-03-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"vimPlugins.vim-agda","commit_hash":"01441e14af5e29c9d27ace398e6dd0b293e25a54","date":"2023-10-11T07:26:37Z","outputs":[{"name":"out","path":"/nix/store/1k3hvg8papbwrdsrfq24iq66i0zl5kil-vimplugin-vim-agda-2022-03-01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"vimPlugins.vim-agda","commit_hash":"01441e14af5e29c9d27ace398e6dd0b293e25a54","date":"2023-10-11T07:26:37Z","outputs":[{"name":"out","path":"/nix/store/ri839x0d8vhd6az7p77m28aqwmq2dm9w-vimplugin-vim-agda-2022-03-01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}