Package Details: vim-coquille-git 3bd17ca-1

Git Clone URL: https://aur.archlinux.org/vim-coquille-git.git (read-only)
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
Last Updated: 2016-07-13 10:29