Error

two or more packages specified (coq-doc jessie)

Um ein Problem mit der Web-Site zu berichten, schreiben Sie eine E-Mail an debian-www@lists.debian.org (auf Englisch). Für weitere Kontaktinformationen sollten Sie auf die Debian-Kontakt-Seite schauen.

Dieser Service wird von 1&1 Internet AG unterstützt.