{"name":"vimPlugins.vim-agda","version":"2022-09-16-unstable-2024-05-17","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"vimPlugins.vim-agda"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/plsrwsaqyv7n36mbvr1nr30dw1i35i35-vimplugin-vim-agda-2022-09-16-unstable-2024-05-17","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"vimPlugins.vim-agda"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/c3xb6gkfhqbvr194r2572p1pzz036mds-vimplugin-vim-agda-2022-09-16-unstable-2024-05-17","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"vimPlugins.vim-agda"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/0ycnh71k7hphxp9j85lbszhpdhvaxh5w-vimplugin-vim-agda-2022-09-16-unstable-2024-05-17","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"vimPlugins.vim-agda"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/9rjsv0k6ad932jj760m077nakzd7nlsd-vimplugin-vim-agda-2022-09-16-unstable-2024-05-17","default":true}]}}}