(source gnu)
(source melpa)

(package-file "company-coq.el")
(files "*.el" "refman")

(development
 (depends-on "cl-lib")
 (depends-on "company")
 (depends-on "company-math")
 (depends-on "dash")
 (depends-on "noflet")
 (depends-on "alert")
 (depends-on "yasnippet"))
