| A collection of extensions for Proof General's Coq mode | |
| https://github.com/cpitclaudel/company-coq | |
| company-coq-20221130.536 | |
| download~amd64 ~x86 | melpa |
| company-coq-1.0.1_p20220314 | GPL-3+ |
| download~amd64 ~x86 | gentoo |
| company-coq-1.0.1 | |
| download~amd64 ~x86 | melpa-stable |