{"name":"vimPlugins.coq-vim","version":"2013-01-16","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"vimPlugins.coq-vim"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/83zfgs2zj1h0n01ad45xmb4w9nn22lam-vimplugin-coq.vim-2013-01-16","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"vimPlugins.coq-vim"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/6wz3x9h3n99dfi65kbbmzc4x5812jig8-vimplugin-coq.vim-2013-01-16","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"vimPlugins.coq-vim"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/p3jp4npmad4pvc80wn1rbxdpz9sjvryr-vimplugin-coq.vim-2013-01-16","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"vimPlugins.coq-vim"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/qxm7kx2fpzwj4fm1pxx7lk1ja40b9fsr-vimplugin-coq.vim-2013-01-16","default":true}]}}}