Search Criteria
Package Details: vim-coquille-git 3bd17ca-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/vim-coquille-git.git (read-only, click to copy) |
|---|---|
| Package Base: | vim-coquille-git |
| Description: | Vim plugin aiming to bring the interactivity of CoqIDE into your favorite editor. |
| Upstream URL: | https://github.com/the-lambda-church/coquille |
| Licenses: | ISC |
| Submitter: | vali |
| Maintainer: | None |
| Last Packager: | vali |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2016-07-13 10:29 (UTC) |
| Last Updated: | 2016-07-13 10:29 (UTC) |
Dependencies (1)
- vim-runtime (neovim-drop-inAUR, vim-runtime-gitAUR, vim-git-runtimeAUR, vim-qt-gitAUR, vim-wayland-lilydjwg-git-runtimeAUR, gvim-gtk2AUR)