Error

two or more packages specified (coq-doc-pdf jessie)

Чтобы сообщить о проблеме, связанной с веб-сайтом, отправьте сообщение (на английском) в список рассылки debian-www@lists.debian.org. Прочую контактную информацию см. на странице Debian Как с нами связаться.

Спонсор сайта MIT Computer Science & Artificial Intelligence Lab.