Ubuntu
coq-mtac2 package

There are currently no open bugs.

"coq-mtac2" versions published in Ubuntu

Oracular (1.4+8.19-1build2): universe/misc
Noble (1.4+8.18-1build3): universe/misc