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