Paket: libghc-smtlib-dev (1.1-3) [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.17.2.0-38dbb [armhf]

sanal paketi sağlayan ghc
dep: libghc-base-dev-4.17.2.0-68dfe [amd64]

sanal paketi sağlayan ghc
dep: libghc-base-dev-4.17.2.0-696e5 [s390x]

sanal paketi sağlayan ghc
dep: libghc-base-dev-4.17.2.0-9226a [ppc64el]

sanal paketi sağlayan ghc
dep: libghc-base-dev-4.17.2.0-9c962 [riscv64]

sanal paketi sağlayan ghc
dep: libghc-base-dev-4.17.2.0-ce2a7 [arm64]

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

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

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

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

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	462,2 kB	4.399,0 kB	[dosya listesi]
arm64	512,3 kB	5.198,0 kB	[dosya listesi]
armhf	591,2 kB	5.405,0 kB	[dosya listesi]
ppc64el	717,7 kB	7.348,0 kB	[dosya listesi]
riscv64	901,5 kB	8.958,0 kB	[dosya listesi]
s390x	794,8 kB	8.777,0 kB	[dosya listesi]