plugin_base.dune « quote « plugins - coq - The formal proof system

about summary refs log tree commit diff

path: root/plugins/quote/plugin_base.dune

blob: 323906acb25e2058238d6b4fa3abb237bb29c072 (plain)

(library
 (name quote_plugin)
 (public_name coq.plugins.quote)
 (synopsis "Coq's quote plugin")
 (libraries coq.plugins.ltac))