company-coq-pkg.el

;;; Generated package description from packages/company-coq/company-coq.el  -*- no-byte-compile: t -*-
(define-package "company-coq" "1.0" "A collection of extensions for Proof General's Coq mode" '((cl-lib "0.5") (dash "2.12.1") (yasnippet "0.11.0") (company "0.8.12") (company-math "1.1")) :authors '(("Clément Pit-Claudel" . "clement.pitclaudel@live.com")) :maintainer '("Clément Pit-Claudel" . "clement.pitclaudel@live.com") :keywords '("convenience" "languages") :url "https://github.com/cpitclaudel/company-coq")