Sťahovacia stránka pre libz3-jni-dbgsym_4.8.12-3.1_riscv64.deb na strojoch RISC-V 64-bit little endian (riscv64)

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-riscv64/main/z/z3/ 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 RISC-V 64-bit little endian (riscv64) nie je oficiálne súčasťou archívu Debian, ale skupina porterov RISC-V 64-bit little endian (riscv64) 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 RISC-V 64-bit little endian (riscv64).

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 libz3-jni-dbgsym_4.8.12-3.1_riscv64.deb:

Presná veľkosť 163428 bajtov (159.6 kBajtov)
kontrolný súčet MD5 67b1d2198c0ee91b9cb0f3b1b1d6f67e
kontrolný súčet SHA1 Nedostupné
kontrolný súčet SHA256 6df0c3c14de65e53d61bb36aa9b66137ab44e4be5d8068bfb0e367ddd095b6f9