用在 上 why3_1.7.2-2+b1_mips64el.deb 的下载页面

如果您正在运行 Debian，请尽量使用像 aptitude 或者 synaptic 一样的软件包管理器，代替人工手动操作的方式从这个网页下载并安装软件包。

您可以使用以下列表中的任何一个源镜像只要往您的 /etc/apt/sources.list 文件中像下面这样添加一行：

deb http://ftp.de.debian.org/debian sid main

请使用最终确定的源镜像替换 ftp.de.debian.org/debian。

您可以从以下任意站点的 pool/main/w/why3/ 子目录中下载所需的文件：

北美洲

南美洲

亚洲

非洲

欧洲

大洋洲

如果您感觉以上站点的速度都不够理想，请查看我们的完整源镜像列表。

注意：某些浏览器需要您明确告诉它们，您仅仅是想保存这些文件，并非查看或运行它们。对于 Firefox 或者 Mozilla ，您可能需要在按住 Shift 键的同时点击上面的 URL 链接。

有关 why3_1.7.2-2+b1_mips64el.deb 的更多信息：

实际大小 25316772 字节（24.1 MB）
MD5 校验码 35802af79e679b4c510618f7ffa23e9f
SHA1 校验码 不可用
SHA256 校验码 068e9b5055781f5f56b83b98ab4b8c909fc8ec455ab130d9b63b8dc9ff584c1c