There are currently no open bugs.

"coq-ext-lib" versions published in Ubuntu

Noble (0.12.0-1build4): universe/misc
Mantic (0.11.8-1build1): universe/misc