There are currently no open bugs.

"mathcomp-algebra-tactics" versions published in Ubuntu

Mantic (1.1.1-2build9): universe/misc
Lunar (1.0.0-8build3): universe/misc