packages Skip to content

» Ubuntu » Pakete

Error

two or more packages specified (coq-stdpp metapackages)

Inhalt-Copyright © 2026 Canonical Ltd.; Lizenzbestimmungen. Ubuntu ist ein eingetragenes Warenzeichen von Canonical Ltd. Mehr Informationen über diese Site.

Report a bug on this site.