(library
 (name equations_plugin)
 (public_name coq-equations.plugin)
 (flags :standard -w -9-27+40+60 -warn-error -3-9-32-33-50)
 (libraries coq-core.plugins.cc coq-core.plugins.extraction))

(coq.pp (modules g_equations))
