Error

two or more packages specified (libcoq-ocaml-arxq9 jessie)

При проблеми със сайта, пишете на debian-www@lists.debian.org. За други контакти вижте страницата Debian контакти.

Авторски права върху съдържанието © https://www.spi-inc.org/; лицензни условия. Debian е търговска марка на SPI Inc. Научете повече за този сайт.

Услугата е спонсорирана от University of Helsinki - Department of Computer Science.