Sťahovacia stránka pre libcoq-ocaml_8.6-5build1_i386.deb na strojoch Intel x86
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 etiona 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/c/coq/ 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 libcoq-ocaml_8.6-5build1_i386.deb:
Presná veľkosť | 3394144 bajtov (3.2 MByte) |
---|---|
kontrolný súčet MD5 | ad723ea161f8c9dcca13833968e01569 |
kontrolný súčet SHA1 | 0cd8f0033f3641b618110a0139f2b160d42f37be |
kontrolný súčet SHA256 | da3bd530f237a50455e34e0fc753cf3917df2c85072c93ea942f5ba65be10206 |