Страница за изтегляне на libz3-4-dbgsym_4.8.12-3.1_riscv64.deb за RISC-V 64-bit little endian (riscv64) машини

Ако използвате Debian се препоръчва използването на програма за управление на пакетите като aptitude или synaptic за изтегляне и инсталиране на пакети, вместо ръчната процедура.

Можете да използвате всеки от показаните огледални сървъри чрез добавяне на ред в /etc/apt/sources.list, подобен на този:

deb http://ftp.ports.debian.org/debian-ports/ sid main

Заместете ftp.ports.debian.org/debian-ports/ с предпочитания огледален сървър.

Можете да изтеглите искания файл от директорията pool-riscv64/main/z/z3/ на всеки от следните сайтове:

Азия

Европа

Ако никой от горните сървъри не е достатъчно бърз за вас, вижте пълния списък с огледални сървъри.

Официално пакетът RISC-V 64-bit little endian (riscv64) не е включен в архива Debian, но групата за поддръжка на RISC-V 64-bit little endian (riscv64) синхронизира техния архив с официалния. За повече информация вижте страницата на RISC-V 64-bit little endian (riscv64).

На някои браузъри трябва изрично да се каже да запишат изтеглянето във файл. Във Firefox или Mozilla, например, това става със задържане на клавиша Shift при избиране на връзката.

Още информация за libz3-4-dbgsym_4.8.12-3.1_riscv64.deb:

Точна големина 118822408 байт (113,3 MByte)
контролна сума MD5 65a27d556653af162a9c64c42b95c536
контролна сума SHA1 Няма информация
контролна сума SHA256 08889b5c8792ada503ddd7499ee5a6173ab1f5063fa2c013a1577247d701f0d7