Error

two or more packages specified (coqide lenny)

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 Hewlett-Packard unterstützt.