Skip to content
Sections
>> Trisquel >> Пакети >> etiona >> libssreflect-coq >> all >> Изтегляне

Страница за изтегляне на libssreflect-coq_1.6.1-3build1_all.deb

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

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

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

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

Можете да изтеглите искания файл от директорията pool/main/s/ssreflect/ на всеки от следните сайтове:

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

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

Още информация за libssreflect-coq_1.6.1-3build1_all.deb:

Точна големина 24199944 байт (23,1 MByte)
контролна сума MD5 8a4cf4fc64df838fed5126f3f4d9ceb0
контролна сума SHA1 5044b7d4612eeb1322c2a98561d241cb9b10c30e
контролна сума SHA256 4726f6062f2061503f0c28a7c5e62447bbc5ecd4624f35245d32467f7678ccf9