» Ubuntu » 软件包 » plucky » libghc-smtlib-dev » armhf » 下载

用在 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