Sťahovacia stránka pre agda-stdlib_1.3-2_all.deb
Ak používate Trisquel, dôrazne sa odporúča používať správcu balíkov ako aptitude alebo synaptic na sťahovanie a inštaláciu balíkov namiesto manuálneho sťahovania z tejto webstránky.
Mali by ste byť schopný použiť ktorékoľvek z uvedených zrkadiel pridaním riadka do vášho súboru /etc/apt/sources.list takto:
deb http://es.archive.trisquel.info/trisquel aramo main
Kde es.archive.trisquel.info/trisquel nahradíte dotyčným zrkadlom.
Požadovaný súbor môžete stiahnuť z podadresára pool/main/a/agda-stdlib/ na ktorejkoľvek z týchto lokalít:
Severná Amerika
Južná Amerika
Ázia
Európa
- 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
Ak žiadna z hore uvedených lokalít pre vás nie je dosť rýchla, pozrite si prosím náš úplný zoznam zrkadiel.
V niektorých prehliadačoch budete musieť prehliadaču povedať, že chcete súbor uložiť na disk. Napr. vo Firefoxe alebo Mozille by ste bali pri kliknutí na odkaz podržať kláves Shift.
Ďalšie informácie o agda-stdlib_1.3-2_all.deb:
| Presná veľkosť | 73224528 bajtov (69.8 MByte) |
|---|---|
| kontrolný súčet MD5 | f04b16d694cc36c233f3ede7c25093d1 |
| kontrolný súčet SHA1 | 4b7ed5aa23f92d6be0d50c0db2336fab6240e239 |
| kontrolný súčet SHA256 | c8de2e77f10e1393cc3387e1aea8687950f3a3f75c5be312c50e22038487f9b1 |