(coq.theory
 (name Hammer.Plugin)
 (package coq-hammer)
 (synopsis "CoqHammer Coq plugin")
 (theories Hammer.Tactics)
 (plugins coq-hammer.plugin))
