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

Git Clone URL: (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:
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)