packages Skip to content

» Ubuntu » Packages

Error

two or more packages specified (coq-8.12.0+4.11.1 hirsute)

Content Copyright © 2024 Canonical Ltd.; See license terms. Ubuntu is a trademark of Canonical Ltd. Learn more about this site.

Report a bug on this site.