Error

two or more packages specified (coq-8.2.pl2+3.11.2 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 University of Helsinki - Department of Computer Science unterstützt.