(coq.theory
 ; This determines the -R flag
 (name Equations)
 (package coq-equations)
 (synopsis "Equations Plugin")
 (libraries coq-core.plugins.extraction coq-equations.plugin)
 (modules :standard \ IdDec NoCycle))

(include_subdirs no)