There are currently no open bugs.

"mathcomp-algebra-tactics" versions published in Ubuntu

Oracular (1.2.3-3build4): universe/misc
Noble (1.2.3-1build5): universe/misc