There are currently no open bugs.

"coq-reglang" versions published in Ubuntu

Noble (1.2.1-1build5): universe/misc
Mantic (1.1.3-4build1): universe/misc