软件包：haskell-what4-utils（1.3-4 以及其他的）

[ 源代码： haskell-what4  ]

Solver-agnostic symbolic values support for issuing queries

其他与 haskell-what4-utils 有关的软件包

• dep: libatomic1 (>= 4.8) [armel, mipsel]

  提供 __atomic 内置函数的支持库

• dep: libc6 (>= 2.34)

  GNU C 语言运行库：共享库
  同时作为一个虚包由这些包填实： libc6-udeb

• dep: libffi8 (>= 3.4)

  外部函数接口库运行环境

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  多精度运算库

• dep: zlib1g (>= 1:1.1.4)

  压缩库 - 运行时

下载 haskell-what4-utils

下载可用于所有硬件架构的

硬件架构	版本	软件包大小	安装后大小	文件
amd64	1.3-4+b3	2,050.9 kB	13,341.0 kB	[文件列表]
arm64	1.3-4+b2	4,666.5 kB	31,633.0 kB	[文件列表]
armel	1.3-4+b2	4,950.6 kB	30,001.0 kB	[文件列表]
armhf	1.3-4+b2	5,009.4 kB	29,957.0 kB	[文件列表]
i386	1.3-4+b2	5,480.2 kB	39,500.0 kB	[文件列表]
mips64el	1.3-4+b1	5,810.1 kB	60,861.0 kB	[文件列表]
mipsel	1.3-4+b1	3,918.2 kB	42,455.0 kB	[文件列表]
ppc64el	1.3-4+b1	3,906.7 kB	40,279.0 kB	[文件列表]
s390x	1.3-4+b1	8,084.1 kB	56,130.0 kB	[文件列表]