用在 硬浮点 ARM 上 libz3-jni_4.8.12-3.1_armhf.deb 的下载页面
如果您正在运行 Debian，请尽量使用像 aptitude 或者 synaptic 一样的软件包管理器，代替人工手动操作的方式从这个网页下载并安装软件包。
您可以使用以下列表中的任何一个源镜像只要往您的 /etc/apt/sources.list 文件中像下面这样添加一行：
deb http://ftp.de.debian.org/debian bookworm main
请使用最终确定的源镜像替换 ftp.de.debian.org/debian。
您可以从以下任意站点的 pool/main/z/z3/ 子目录中下载所需的文件：
北美洲
- ftp.us.debian.org/debian
- http.us.debian.org/debian
- ftp.debian.org/debian
- ftp.ca.debian.org/debian
- ftp.mx.debian.org/debian
南美洲
- ftp.br.debian.org/debian
- ftp.cl.debian.org/debian
- download.unesp.br/linux/debian
- sft.if.usp.br/debian
亚洲
- ftp.cn.debian.org/debian
- ftp.jp.debian.org/debian
- ftp.kr.debian.org/debian
- ftp.hk.debian.org/debian
- ftp.tw.debian.org/debian
非洲
欧洲
- ftp.de.debian.org/debian
- ftp.at.debian.org/debian
- ftp.bg.debian.org/debian
- ftp.ch.debian.org/debian
- ftp.cz.debian.org/debian
- ftp.dk.debian.org/debian
- ftp.ee.debian.org/debian
- ftp.es.debian.org/debian
- ftp.fi.debian.org/debian
- ftp.fr.debian.org/debian
- ftp.hr.debian.org/debian
- ftp.hu.debian.org/debian
- ftp.ie.debian.org/debian
- ftp.is.debian.org/debian
- ftp.it.debian.org/debian
- ftp.lt.debian.org/debian
- ftp.nl.debian.org/debian
- ftp.no.debian.org/debian
- ftp.pl.debian.org/debian
- ftp.ro.debian.org/debian
- ftp.ru.debian.org/debian
- ftp.se.debian.org/debian
- ftp.si.debian.org/debian
- ftp.tr.debian.org/debian
- ftp.uk.debian.org/debian
大洋洲
如果您感觉以上站点的速度都不够理想，请查看我们的完整源镜像列表。
注意：某些浏览器需要您明确告诉它们，您仅仅是想保存这些文件，并非查看或运行它们。对于 Firefox 或者 Mozilla ，您可能需要在按住 Shift 键的同时点击上面的 URL 链接。
有关 libz3-jni_4.8.12-3.1_armhf.deb 的更多信息：
| 实际大小 | 29968 字节（29.3 kB） |
|---|---|
| MD5 校验码 | bebbc751bce148950519f6787765f3e3 |
| SHA1 校验码 | 不可用 |
| SHA256 校验码 | 01b5c84a586aef5e8b2e83c32e75a63f11bfd89d33c4607cd9c23572bbaeb8d8 |