Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
app-emacs
/
company-coq
Collection of extensions for Proof General's Coq mode
https://github.com/cpitclaudel/company-coq/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Dependencies
Reverse-Dependencies
1.0.1_p20220314
Version
RDEPEND
DEPEND
BDEPEND
IDEPEND
PDEPEND
app-editors/emacs
app-emacs/company-math
app-emacs/company-mode
app-emacs/dash
app-emacs/proofgeneral
app-emacs/yasnippet
Description
The dependencies are regularly computed based on the
qa-reports
.
Packages