;; -*- no-byte-compile: t; -*-
;;; lang/coq/packages.el

(package! proof-general :pin "f0f0476d07401aba2cf428a71f7ee960cd1b3154")
(package! company-coq :pin "7423ee253951a439b2491e1cd2ea8bb876d25cb7")