(coq.theory
 (name Equations.HoTT)
 (package rocq-equations-hott)
 (modules :standard)
 (theories Equations HoTT)
 (plugins rocq-runtime.plugins.extraction rocq-equations.plugin)
 (flags ("-noinit" "-indices-matter")))