UbuntuUpdates.org

All "libcoq-mathcomp-zify" versions

Deleted packages are displayed in grey.

Release Repository Level Version PPA
oracular universe base 1.5.0+2.0+8.16-3build7
noble universe base 1.5.0+2.0+8.16-1build5


Search Package




About   -   Send Feedback to @ubuntu_updates