用在 HP PA-RISC 上 acl2-infix_3.1-1_hppa.deb 的下载页面

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

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

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

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

您可以从以下任意站点的 pool/main/a/acl2/ 子目录中下载所需的文件:

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

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

有关 acl2-infix_3.1-1_hppa.deb 的更多信息:

实际大小 417890 字节(408.1 kByte)
MD5 校验码 7fed9aa56b27c2d41b034930d2841145
SHA1 校验码 32c2f1777edf801bc7aae693145505e6a59f2f23
SHA256 校验码 0cb14fd07077c0c549dfb4da8466aae77293af4418862e87fe2dedb4203f5abf