There are currently no open bugs.

"coq-ext-lib" versions published in Ubuntu

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