(source gnu)
(source melpa)

(package-file "alectryon.el")

(depends-on "proof-general")
(depends-on "polymode")

(development
 (depends-on "company-coq")
 (depends-on "adaptive-wrap"))
