Страница за изтегляне на agda-stdlib_1.3-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/agda-stdlib/ на всеки от следните сайтове:
Северна Америка
Южна Америка
Азия
Европа
- es.archive.trisquel.info/trisquel
- fr.archive.trisquel.info/trisquel
- quantum-mirror.hu/mirrors/pub/trisquel/packages
- ftp.caliu.cat/pub/distribucions/trisquel/packages
- mirror.librelabucm.org/trisquel
- ftp.acc.umu.se/mirror/trisquel/packages
- mirror.linux.pizza/trisquel/packages
- ftpmirror1.infania.net/mirror/trisquel/packages
Ако никой от горните сървъри не е достатъчно бърз за вас, вижте пълния списък с огледални сървъри.
На някои браузъри трябва изрично да се каже да запишат изтеглянето във файл. Във Firefox или Mozilla, например, това става със задържане на клавиша Shift при избиране на връзката.
Още информация за agda-stdlib_1.3-2_all.deb:
| Точна големина | 73224528 байт (69,8 MByte) |
|---|---|
| контролна сума MD5 | f04b16d694cc36c233f3ede7c25093d1 |
| контролна сума SHA1 | 4b7ed5aa23f92d6be0d50c0db2336fab6240e239 |
| контролна сума SHA256 | c8de2e77f10e1393cc3387e1aea8687950f3a3f75c5be312c50e22038487f9b1 |