套件：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]

  support library providing __atomic built-in functions

• dep: libc6 (>= 2.34)

  GNU C 函式庫：共用函式庫
  同時作為一個虛擬套件由這些套件填實： libc6-udeb

• dep: libffi8 (>= 3.4)

  Foreign Function Interface library runtime

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

  Multiprecision arithmetic library

• dep: zlib1g (>= 1:1.1.4)

  壓縮函式庫 - 跑程式時用(runtime)

下載 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	[檔案列表]