Sťahovacia stránka pre libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb na strojoch MIPS (little-endian)

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.at.debian.org/debian-backports/ squeeze-backports main 

Kde ftp.at.debian.org/debian-backports/ 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:

Ázia

Európa

Oceania

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-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb:

Presná veľkosť 2506574 bajtov (2.4 MByte)
kontrolný súčet MD5 7a131c4b6c39c3e533c8c0b03f13d4a3
kontrolný súčet SHA1 6ff3ccc919a85c37bf364f2221c5cdde21a80e65
kontrolný súčet SHA256 70113d7949d89da9840d7ef144e37679d9a4aceb64a6f0fbeb1798e1bf17517b