UbuntuUpdates.org

All "libcoq-math-classes" versions

Deleted packages are displayed in grey.

Release Repository Level Version PPA
resolute universe base 8.19.0-1build17
plucky universe base 8.19.0-1build13
noble universe base 8.18.0-1build3


Search Package




About   -   Send Feedback to @ubuntu_updates