(company-coq
 :repo "cpitclaudel/company-coq"
 :fetcher github
 :files (:defaults "refman"))