用在 ARM Hard Float 上 libghc-smtlib-dev_1.1-4_armhf.deb 的下载页面
如果您正在运行 Ubuntu,请尽量使用像 aptitude 或者 synaptic 一样的软件包管理器,代替人工手动操作的方式从这个网页下载并安装软件包。
您可以使用以下列表中的任何一个源镜像只要往您的 /etc/apt/sources.list 文件中像下面这样添加一行:
deb http:// plucky main universe
请使用最终确定的源镜像替换 。
您可以从以下任意站点的 pool/universe/h/haskell-smtlib/ 子目录中下载所需的文件:
注意: 某些浏览器需要您明确告诉它们,您仅仅是想保存这些文件,并非查看或运行它们。对于 Firefox 或者 Mozilla ,您可能需要在按住 Shift 键的同时点击上面的 URL 链接。
有关 libghc-smtlib-dev_1.1-4_armhf.deb 的更多信息:
实际大小 | 572010 字节(558.6 kByte) |
---|---|
MD5 校验码 | a72a3662d3934af154e6467bbcd65e60 |
SHA1 校验码 | e629deaa40bcd3e6872855f977c8bf009533b13d |
SHA256 校验码 | 137a9db784a3dabeb8846ab5e1977389abf2aa8a8093f686af8bbe320ebaada4 |