Sťahovacia stránka pre coq_8.12.0-3+b3_ia64.deb na strojoch Intel IA-64

Ak používate Debian, 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://ftp.ports.debian.org/debian-ports/ sid main

Kde ftp.ports.debian.org/debian-ports/ nahradíte dotyčným zrkadlom.

Požadovaný súbor môžete stiahnuť z podadresára pool-ia64/main/c/coq/ na ktorejkoľvek z týchto lokalít:

Ázia

Európa

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šimnite si, že Intel IA-64 nie je oficiálne súčasťou archívu Debian, ale skupina porterov Intel IA-64 udržiava svoj archív synchronizovaný s oficiálnym archívom v čo nabližšej možnej miere. Aktuálne informácie nájdete na stránke portov Intel IA-64.

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 coq_8.12.0-3+b3_ia64.deb:

Presná veľkosť 105860172 bajtov (101.0 MBajtov)
kontrolný súčet MD5 c814fb7b440250ac3878abe0cbd8383e
kontrolný súčet SHA1 Nedostupné
kontrolný súčet SHA256 be497bc7b343365e0dbe76f43c0c48d9030956aca0b95fa5e3e01318045015b5