packages用在 64-bit ARMv8 上 libcoq-flocq_4.2.1-1build1_arm64.deb 的下载页面
如果您正在运行 Ubuntu，请尽量使用像 aptitude 或者 synaptic 一样的软件包管理器，代替人工手动操作的方式从这个网页下载并安装软件包。
您可以使用以下列表中的任何一个源镜像只要往您的 /etc/apt/sources.list 文件中像下面这样添加一行:
deb http:// plucky main universe
请使用最终确定的源镜像替换 。
您可以从以下任意站点的 pool/universe/f/flocq/ 子目录中下载所需的文件:
注意: 某些浏览器需要您明确告诉它们，您仅仅是想保存这些文件，并非查看或运行它们。对于 Firefox 或者 Mozilla ，您可能需要在按住 Shift 键的同时点击上面的 URL 链接。
有关 libcoq-flocq_4.2.1-1build1_arm64.deb 的更多信息:
| 实际大小 | 3873314 字节(3.7 MByte) |
|---|---|
| MD5 校验码 | 690f18f9bb7b7c9d720f0d6438a94dc4 |
| SHA1 校验码 | 403fdfdb46a158e6e5a124467a948b1fe0432005 |
| SHA256 校验码 | 4522ef4a4b6ab3b9da533b6734c7e1909cc4413447a872624b0961cbef450ffd |