{"name":"vimPlugins.vim-agda","version":"2024-05-17","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"vimPlugins.vim-agda"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/3q05cnys7dy5h3405hrcikjvs0a8dl6v-vimplugin-vim-agda-2024-05-17","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"vimPlugins.vim-agda"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/ml8cjdyss0b202kvx8a7p2kxwd81gb3m-vimplugin-vim-agda-2024-05-17","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"vimPlugins.vim-agda"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/az95ibipwf060ywfxvj5qzcmm8hfh4ll-vimplugin-vim-agda-2024-05-17","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"vimPlugins.vim-agda"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/8by8rrjfxdpa5fnyh27cqz6xvxjgv80j-vimplugin-vim-agda-2024-05-17","default":true}]}}}