Error

two or more packages specified (agda-stdlib-doc etiona)

Чтобы сообщить о проблеме, связанной с веб-сайтом, отправьте сообщение (на английском) в список рассылки trisquel-devel@listas.trisquel.info. Прочую контактную информацию см. на странице Trisquel Как с нами связаться.

Sections

Error