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

Страница за изтегляне на acl2-books-source_8.4dfsg-2_all.deb

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

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

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

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

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

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

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

Още информация за acl2-books-source_8.4dfsg-2_all.deb:

Точна големина 22136204 байт (21,1 MByte)
контролна сума MD5 bdac833b2be3cfa7afeac7fef92ec100
контролна сума SHA1 ccdf7e6e2d023df946f6471e99847eccb401a80b
контролна сума SHA256 cc375903823ca76d8cb49e38368c84c409c059f30fd1f172e4b221f9c8ad309e