UbuntuUpdates.org

All "libcoq-ext-lib" versions

Deleted packages are displayed in grey.

Release Repository Level Version PPA
stonking universe base 0.13.1-2build4
resolute universe base 0.13.0-1build7
plucky universe base 0.13.0-1build3
noble universe base 0.12.0-1build4


Search Package




About   -   Send Feedback to @ubuntu_updates