Pakket: libghc-smtlib-dev (1.1-4 en anderen)

Verwijzigingen voor libghc-smtlib-dev

Debian bronnen:

Het bronpakket haskell-smtlib downloaden:

Beheerders:

Vergelijkbare pakketten:

A library for working with the SMTLIB format.

. This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Andere aan libghc-smtlib-dev gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libc6 (>= 2.1.3) [i386, m68k]

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb

dep: libc6 (>= 2.16) [x32]

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

dep: libc6 (>= 2.2) [hppa, mips64el, s390x, sparc64]

dep: libc6 (>= 2.2.5) [amd64]

dep: libc6 (>= 2.27) [riscv64]

dep: libc6 (>= 2.3) [ppc64]

dep: libc6 (>= 2.33) [sh4]

dep: libc6 (>= 2.4) [armel, armhf]

dep: libc6 (>= 2.40) [loong64]
dep: libc6.1 (>= 2.1.3) [alpha]

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6.1-udeb

dep: libc6.1 (>= 2.37) [ia64]
dep: libghc-base-dev-4.13.0.0-51390 [sh4]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.13.0.0-f73fa [x32]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.15.1.0-64902 [m68k]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.17.2.0-e9124 [ia64]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-038db [i386]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-3be9b [armel, armhf]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-665fa [ppc64]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-75247 [arm64]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-8e81e [amd64]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-aa03d [alpha]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-b19b4 [mips64el]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-b5217 [riscv64]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-b7e3b [ppc64el]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-c1c31 [loong64]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-c6b57 [sparc64]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-e617e [hppa]

virtueel pakket geboden door ghc
dep: libghc-base-dev-4.18.2.1-f2473 [s390x]

virtueel pakket geboden door ghc
dep: libghc-pretty-dev-1.1.3.6-139d3 [hppa]

virtueel pakket geboden door ghc
dep: libghc-pretty-dev-1.1.3.6-1aa0a [ia64]

virtueel pakket geboden door ghc
dep: libghc-pretty-dev-1.1.3.6-21c21 [arm64]

virtueel pakket geboden door ghc
dep: libghc-pretty-dev-1.1.3.6-2dbf0 [m68k]

virtueel pakket geboden door ghc
dep: libghc-pretty-dev-1.1.3.6-56d7f [sparc64]

virtueel pakket geboden door ghc
dep: libghc-pretty-dev-1.1.3.6-8f6c9 [alpha, amd64, loong64, mips64el]

virtueel pakket geboden door ghc
dep: libghc-pretty-dev-1.1.3.6-909c8 [armel, armhf]

virtueel pakket geboden door ghc
dep: libghc-pretty-dev-1.1.3.6-aa0be [x32]

virtueel pakket geboden door ghc
dep: libghc-pretty-dev-1.1.3.6-d6a01 [ppc64, ppc64el, riscv64, s390x]

virtueel pakket geboden door ghc
dep: libghc-pretty-dev-1.1.3.6-dd4b1 [sh4]

virtueel pakket geboden door ghc
dep: libghc-pretty-dev-1.1.3.6-f7dec [i386]

virtueel pakket geboden door ghc
dep: libgmp10 (>= 2:6.3.0+dfsg) [niet sh4, x32]

Multiprecision arithmetic library
dep: sgml-base (>= 1.28) [sh4]

SGML infrastructure and SGML catalog file support

libghc-smtlib-dev downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	1.1-4	590,3 kB	7.158,0 kB	[overzicht]
amd64	1.1-4+b1	398,1 kB	4.134,0 kB	[overzicht]
arm64	1.1-4+b1	418,3 kB	4.861,0 kB	[overzicht]
armel	1.1-4	505,9 kB	5.090,0 kB	[overzicht]
armhf	1.1-4+b1	491,7 kB	5.025,0 kB	[overzicht]
hppa (unofficial port)	1.1-4+b1	736,9 kB	7.107,0 kB	[overzicht]
i386	1.1-4+b1	602,6 kB	5.459,0 kB	[overzicht]
ia64 (unofficial port)	1.1-3+b1	683,8 kB	13.949,0 kB	[overzicht]
loong64 (unofficial port)	1.1-4+b1	784,2 kB	9.384,0 kB	[overzicht]
m68k (unofficial port)	1.1-3	666,6 kB	6.301,0 kB	[overzicht]
mips64el	1.1-4	526,9 kB	6.894,0 kB	[overzicht]
ppc64 (unofficial port)	1.1-4	508,9 kB	7.238,0 kB	[overzicht]
ppc64el	1.1-4	516,8 kB	6.534,0 kB	[overzicht]
riscv64	1.1-4	712,9 kB	8.290,0 kB	[overzicht]
s390x	1.1-4	624,9 kB	8.175,0 kB	[overzicht]
sh4 (unofficial port)	1.1-2	119,1 kB	1.513,0 kB	[overzicht]
sparc64 (unofficial port)	1.1-4	650,6 kB	9.748,0 kB	[overzicht]
x32 (unofficial port)	1.1-3	763,5 kB	7.242,0 kB	[overzicht]