用在 AMD64 上 coq-theories_8.6-5build1_amd64.deb 的下载页面
如果您正在运行 Trisquel，请尽量使用像 aptitude 或者 synaptic 一样的软件包管理器，代替人工手动操作的方式从这个网页下载并安装软件包。
您可以使用以下列表中的任何一个源镜像只要往您的 /etc/apt/sources.list 文件中像下面这样添加一行:
deb http://es.archive.trisquel.info/trisquel etiona main
请使用最终确定的源镜像替换 es.archive.trisquel.info/trisquel。
您可以从以下任意站点的 pool/main/c/coq/ 子目录中下载所需的文件:
北美洲
南美洲
亚洲
欧洲
- es.archive.trisquel.info/trisquel
- fr.archive.trisquel.info/trisquel
- quantum-mirror.hu/mirrors/pub/trisquel/packages
- ftp.caliu.cat/pub/distribucions/trisquel/packages
- mirror.librelabucm.org/trisquel
- ftp.acc.umu.se/mirror/trisquel/packages
- mirror.linux.pizza/trisquel/packages
- ftpmirror1.infania.net/mirror/trisquel/packages
如果您感觉以上站点的速度都不够理想，请查看我们的完整源镜像列表。
注意: 某些浏览器需要您明确告诉它们，您仅仅是想保存这些文件，并非查看或运行它们。对于 Firefox 或者 Mozilla ，您可能需要在按住 Shift 键的同时点击上面的 URL 链接。
有关 coq-theories_8.6-5build1_amd64.deb 的更多信息:
| 实际大小 | 33181580 字节(31.6 MByte) |
|---|---|
| MD5 校验码 | d56f2303c0ce250081dcebc77d0acd23 |
| SHA1 校验码 | b69a945dec36078dc0b015b4a022ad4eae10b07d |
| SHA256 校验码 | 0bb4c179e8a357bf57ed5defdefa6f6d7d1b4247198602be2bc61b089429429c |