There are currently no open bugs.

"coq-hott" versions published in Ubuntu

Noble (8.18-3build4): universe/misc
Mantic (8.18-1): universe/misc