There are currently no open bugs.

"mathcomp-algebra-tactics" versions published in Ubuntu

Noble (1.2.3-1build5): universe/misc
Mantic (1.1.1-2build9): universe/misc