Sťahovacia stránka pre libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb na strojoch
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/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-core-ocaml_8.15.0+dfsg-2_arm64.deb:
| Presná veľkosť | 28397634 bajtov (27.1 MByte) |
|---|---|
| kontrolný súčet MD5 | 9e670079fb4c928052d150a748a92dbf |
| kontrolný súčet SHA1 | a1e6d7b60320ea6bd544927392b5f194f812674e |
| kontrolný súčet SHA256 | 18e735959b8898e6b05a7c0ae8ff28f0a56411568a4d70e58c8cafd460e6684a |