/ Paket

Error

two or more packages specified (coq-8.3pl3+3.11.2 squeeze-backports)

För att rapportera ett problem med webbplatsen, kontakta debian-www@lists.debian.org (på engelska). För problem och synpunkter om den svenska översättningen, kontakta debian-l10n-swedish@lists.debian.org. För övrig kontaktinformation, se Debians kontaktsida.

This service is sponsored by 1&1 Internet AG.