Balík: haskell-what4-utils (1.3-4 a iné)

[ Zdroj: haskell-what4  ]

Solver-agnostic symbolic values support for issuing queries

Ostatné balíky súvisiace s balíkom haskell-what4-utils

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

  pomocná knižnica poskytujúca zabudované funkcie __atomic

• dep: libc6 (>= 2.34)

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

• dep: libffi8 (>= 3.4)

  rozhranie k cudzím funkciám - dynamická knižnica

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

  aritmetická knižnica s viacnásobnou presnosťou

• dep: zlib1g (>= 1:1.1.4)

  komprimačná knižnica - dynamická verzia

Stiahnuť haskell-what4-utils

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	1.3-4+b3	2,050.9 kB	13,341.0 kB	[zoznam súborov]
arm64	1.3-4+b2	4,666.5 kB	31,633.0 kB	[zoznam súborov]
armel	1.3-4+b2	4,950.6 kB	30,001.0 kB	[zoznam súborov]
armhf	1.3-4+b2	5,009.4 kB	29,957.0 kB	[zoznam súborov]
i386	1.3-4+b2	5,480.2 kB	39,500.0 kB	[zoznam súborov]
mips64el	1.3-4+b1	5,810.1 kB	60,861.0 kB	[zoznam súborov]
mipsel	1.3-4+b1	3,918.2 kB	42,455.0 kB	[zoznam súborov]
ppc64el	1.3-4+b1	3,906.7 kB	40,279.0 kB	[zoznam súborov]
s390x	1.3-4+b1	8,084.1 kB	56,130.0 kB	[zoznam súborov]