UbuntuUpdates.org

All "coq-mtac2" versions

Deleted packages are displayed in grey.

Release Repository Level Version PPA
oracular universe base 1.4+8.19-2build3
noble universe base 1.4+8.18-1build3


Search Package




About   -   Send Feedback to @ubuntu_updates