summaryrefslogtreecommitdiff
path: root/app-emacs/company-coq
ModeNameSize
-rw-r--r--Manifest2194logplain
-rw-r--r--company-coq-1.0.1_p20210708-r1.ebuild871logplain
-rw-r--r--company-coq-1.0.1_p20220314.ebuild871logplain
d---------files108logplain
-rw-r--r--metadata.xml905logplain