(coq.theory
 (name HoTT.Contrib)
 (package coq-hott)
 (flags -noinit -indices-matter -color on)
 (theories HoTT))

