用在 硬浮点 ARM 上 menhir_20181113-1_armhf.deb 的下载页面
如果您正在运行 Debian，请尽量使用像 aptitude 或者 synaptic 一样的软件包管理器，代替人工手动操作的方式从这个网页下载并安装软件包。
您可以使用以下列表中的任何一个源镜像只要往您的 /etc/apt/sources.list 文件中像下面这样添加一行：
deb http://ftp.de.debian.org/debian buster main
请使用最终确定的源镜像替换 ftp.de.debian.org/debian。
您可以从以下任意站点的 pool/main/m/menhir/ 子目录中下载所需的文件：
北美洲
- 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
- debian.torredehanoi.org/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 链接。
有关 menhir_20181113-1_armhf.deb 的更多信息：
| 实际大小 | 597776 字节（583.8 kB） |
|---|---|
| MD5 校验码 | eab3d951d88b06850aca556559bb6b09 |
| SHA1 校验码 | 不可用 |
| SHA256 校验码 | 45d78d01ea3ca45a947e3a3b179187e1b8a5575ca5fbf4820dc6fdaa5a5ef8af |