Error

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