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

(rocq.pp
 (modules g_hammer))
