Skip to content
Sections
>> Trisquel >> Пакети >> aramo >> libcoq-elpi-ocaml-dev >> ppc64el >> Изтегляне

Страница за изтегляне на libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb за машини

Ако използвате Trisquel се препоръчва използването на програма за управление на пакетите като aptitude или synaptic за изтегляне и инсталиране на пакети, вместо ръчната процедура.

Можете да използвате всеки от показаните огледални сървъри чрез добавяне на ред в /etc/apt/sources.list, подобен на този:

deb http://es.archive.trisquel.info/trisquel aramo main 

Заместете es.archive.trisquel.info/trisquel с предпочитания огледален сървър.

Можете да изтеглите искания файл от директорията pool/main/c/coq-elpi/ на всеки от следните сайтове:

Ако никой от горните сървъри не е достатъчно бърз за вас, вижте пълния списък с огледални сървъри.

На някои браузъри трябва изрично да се каже да запишат изтеглянето във файл. Във Firefox или Mozilla, например, това става със задържане на клавиша Shift при избиране на връзката.

Още информация за libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb:

Точна големина 1759488 байт (1,7 MByte)
контролна сума MD5 0528621376c2d2db0a2e7b9b0e49e124
контролна сума SHA1 c21f216006bc759d1cf9705aeffe502ceefc2382
контролна сума SHA256 c07da52824193efc6ddbffc1f14bed822f9c2c8053b52b417ad0bf896c09ae8f