Skip to content
Sections
>> Trisquel >> Пакети >> aramo >> coq >> armhf >> Изтегляне

Страница за изтегляне на coq_8.15.0+dfsg-2_armhf.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/ на всеки от следните сайтове:

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

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

Още информация за coq_8.15.0+dfsg-2_armhf.deb:

Точна големина 93249996 байт (88,9 MByte)
контролна сума MD5 2dfb5ca7ed9d65b359ce31b69cd53b83
контролна сума SHA1 edeab870513ad681e8fe39a444d7590f9bbdab49
контролна сума SHA256 d480ddb2acc84ee1915ed9f684bb137e7054bac8402590e9c3d02035780da65b