Skip to content
Sections
>> Trisquel >> Пакети >> nabia >> acl2-books-certs >> all >> Изтегляне

Страница за изтегляне на acl2-books-certs_8.2dfsg-3build1_all.deb

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

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

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

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

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

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

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

Още информация за acl2-books-certs_8.2dfsg-3build1_all.deb:

Точна големина 68979892 байт (65,8 MByte)
контролна сума MD5 3ef0db7b828dd8f210abce2d1445ad03
контролна сума SHA1 5a0e911a6eb51069a427e83614de933f133f7fd2
контролна сума SHA256 e2a1a5902d2df5dac249b380144b04ffb23862dfa9061ea00290e310dccd0da3