Ubuntu
coq-hott package

There are currently no open bugs.

"coq-hott" versions published in Ubuntu

Mantic (8.18-1): universe/misc
Lunar (8.16-2build2): universe/misc