(coq.theory
 ; This determines the -R flag
 (name Equations.Type)
 (package coq-equations)
 (synopsis "Equations Plugin")
 (theories Equations)
 (modules :standard))
