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

Страница за изтегляне на agda-stdlib_0.14-1_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/a/agda-stdlib/ на всеки от следните сайтове:

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

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

Още информация за agda-stdlib_0.14-1_all.deb:

Точна големина 18159516 байт (17,3 MByte)
контролна сума MD5 8e08229012cb3fc34676ee6f1d1f1e32
контролна сума SHA1 052cf662ca3cf1e29f8b810401f99542f2da3426
контролна сума SHA256 07cd4cdb700571b1f5f533cb78046d8692b3779460162b202178a7258ec2d7f7