(library
 (name hammer_tactics)
 (public_name coq-hammer-tactics.plugin)
 (synopsis "CoqHammer tactics")
 (libraries rocq-runtime.plugins.ltac coq-hammer-tactics.lib))

(rocq.pp
 (modules g_hammer_tactics))
