(coq.theory
 ; This determines the -R flag
 (name Equations)
 (package rocq-equations)
 (synopsis "Equations Plugin")
 (plugins rocq-runtime.plugins.extraction rocq-equations.plugin)
 (modules :standard))
