(coq.theory
 (name HoTT_Contrib)
 (package coq-hott)
 (theories HoTT))
