Paketti: haskell-what4-utils (1.3-4 ja muut)

[ Source: haskell-what4  ]

Solver-agnostic symbolic values support for issuing queries

Muut pakettiin haskell-what4-utils liittyvät paketit

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

  support library providing __atomic built-in functions

• dep: libc6 (>= 2.34)

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa 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)

  pakkauskirjaston ajonaikaistiedostot

Imuroi haskell-what4-utils

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	1.3-4+b3	2,050.9 kt	13,341.0 kt	[tiedostoluettelo]
arm64	1.3-4+b2	4,666.5 kt	31,633.0 kt	[tiedostoluettelo]
armel	1.3-4+b2	4,950.6 kt	30,001.0 kt	[tiedostoluettelo]
armhf	1.3-4+b2	5,009.4 kt	29,957.0 kt	[tiedostoluettelo]
i386	1.3-4+b2	5,480.2 kt	39,500.0 kt	[tiedostoluettelo]
mips64el	1.3-4+b1	5,810.1 kt	60,861.0 kt	[tiedostoluettelo]
mipsel	1.3-4+b1	3,918.2 kt	42,455.0 kt	[tiedostoluettelo]
ppc64el	1.3-4+b1	3,906.7 kt	40,279.0 kt	[tiedostoluettelo]
s390x	1.3-4+b1	8,084.1 kt	56,130.0 kt	[tiedostoluettelo]