Sťahovacia stránka pre agda-stdlib-doc_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-doc_1.3-2_all.deb:
| Presná veľkosť | 2447524 bajtov (2.3 MByte) |
|---|---|
| kontrolný súčet MD5 | 429721f4faa3880434a56e3a6a7e5c62 |
| kontrolný súčet SHA1 | 4736489d3557ae364032ffd19d8d6c4741b06861 |
| kontrolný súčet SHA256 | 4ea9921213b7f38be30886babb8ca1ff29e9feb9fb4be5c8904ca779a35fb592 |