Package: haskell-what4-utils (1.3-4 and others)

[ Source: haskell-what4  ]

Solver-agnostic symbolic values support for issuing queries

Other Packages Related to haskell-what4-utils

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

  support library providing __atomic built-in functions

• dep: libc6 (>= 2.34)

  GNU C könyvtár: megosztott könyvtárak
  also a virtual package provided by 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)

  tömörítő könyvtár - futásidejű

Download haskell-what4-utils

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	1.3-4+b3	2,050.9 kB	13,341.0 kB	[list of files]
arm64	1.3-4+b2	4,666.5 kB	31,633.0 kB	[list of files]
armel	1.3-4+b2	4,950.6 kB	30,001.0 kB	[list of files]
armhf	1.3-4+b2	5,009.4 kB	29,957.0 kB	[list of files]
i386	1.3-4+b2	5,480.2 kB	39,500.0 kB	[list of files]
mips64el	1.3-4+b1	5,810.1 kB	60,861.0 kB	[list of files]
mipsel	1.3-4+b1	3,918.2 kB	42,455.0 kB	[list of files]
ppc64el	1.3-4+b1	3,906.7 kB	40,279.0 kB	[list of files]
s390x	1.3-4+b1	8,084.1 kB	56,130.0 kB	[list of files]