Error

two or more packages specified (coqide squeeze)

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 MIT Computer Science & Artificial Intelligence Lab unterstützt.