Sťahovacia stránka pre libcoq-ocaml-dev_8.12.0-3+b3_hppa.deb na strojoch HP PA-RISC

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-hppa/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 HPPA nie je oficiálne súčasťou archívu Debian, ale skupina porterov HPPA 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 HPPA.

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-dev_8.12.0-3+b3_hppa.deb:

Presná veľkosť 11282856 bajtov (10.8 MBajtov)
kontrolný súčet MD5 d6a1d02a1d68cd2b36a0ae984a911c19
kontrolný súčet SHA1 Nedostupné
kontrolný súčet SHA256 aa70b0748f5a267000e3a6da22d84e0eda8aa7a1fbd126933a7b3bb28a91e7cf