Paket: libghc-smtlib-dev (1.1-5) [universe]

libghc-smtlib-dev için bağlantılar

haskell-smtlib Kaynak Paketini İndir:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

dep: libc6 (>= 2.17) [arm64, ppc64el]

GNU C Library: Shared libraries

dep: libc6 (>= 2.2) [s390x]

dep: libc6 (>= 2.2.5) [amd64]

dep: libc6 (>= 2.27) [riscv64]

dep: libc6 (>= 2.4) [armhf]
dep: libghc-base-dev-4.20.2.0-08385 [arm64]

sanal paketi sağlayan ghc
dep: libghc-base-dev-4.20.2.0-30faa [riscv64]

sanal paketi sağlayan ghc
dep: libghc-base-dev-4.20.2.0-40f5b [armhf]

sanal paketi sağlayan ghc
dep: libghc-base-dev-4.20.2.0-47ff0 [amd64]

sanal paketi sağlayan ghc
dep: libghc-base-dev-4.20.2.0-96920 [ppc64el]

sanal paketi sağlayan ghc
dep: libghc-base-dev-4.20.2.0-e941f [s390x]

sanal paketi sağlayan ghc
dep: libghc-pretty-dev-1.1.3.6-83cd7 [ppc64el, riscv64, s390x]

sanal paketi sağlayan ghc
dep: libghc-pretty-dev-1.1.3.6-931fb [armhf]

sanal paketi sağlayan ghc
dep: libghc-pretty-dev-1.1.3.6-bde4b [arm64]

sanal paketi sağlayan ghc
dep: libghc-pretty-dev-1.1.3.6-f6a4f [amd64]

sanal paketi sağlayan ghc
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	436,9 kB	4.171,0 kB	[dosya listesi]
arm64	485,0 kB	4.887,0 kB	[dosya listesi]
armhf	572,0 kB	5.081,0 kB	[dosya listesi]
ppc64el	612,3 kB	6.612,0 kB	[dosya listesi]
riscv64	886,6 kB	8.530,0 kB	[dosya listesi]
s390x	691,3 kB	7.842,0 kB	[dosya listesi]