Paquet : libghc-smtlib-dev (1.1-4 et autres)

Liens pour libghc-smtlib-dev

Ressources Debian :

Télécharger le paquet source haskell-smtlib :

Responsables :

Paquets similaires :

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.

Autres paquets associés à libghc-smtlib-dev

dépendances

recommandations

suggestions

enhances

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

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par 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]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb

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

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.13.0.0-f73fa [x32]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.15.1.0-64902 [m68k]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.17.2.0-e9124 [ia64]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-038db [i386]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-3be9b [armel, armhf]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-665fa [ppc64]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-75247 [arm64]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-8e81e [amd64]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-aa03d [alpha]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-b19b4 [mips64el]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-b5217 [riscv64]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-b7e3b [ppc64el]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-c1c31 [loong64]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-c6b57 [sparc64]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-e617e [hppa]

paquet virtuel fourni par ghc
dep: libghc-base-dev-4.18.2.1-f2473 [s390x]

paquet virtuel fourni par ghc
dep: libghc-pretty-dev-1.1.3.6-139d3 [hppa]

paquet virtuel fourni par ghc
dep: libghc-pretty-dev-1.1.3.6-1aa0a [ia64]

paquet virtuel fourni par ghc
dep: libghc-pretty-dev-1.1.3.6-21c21 [arm64]

paquet virtuel fourni par ghc
dep: libghc-pretty-dev-1.1.3.6-2dbf0 [m68k]

paquet virtuel fourni par ghc
dep: libghc-pretty-dev-1.1.3.6-56d7f [sparc64]

paquet virtuel fourni par ghc
dep: libghc-pretty-dev-1.1.3.6-8f6c9 [alpha, amd64, loong64, mips64el]

paquet virtuel fourni par ghc
dep: libghc-pretty-dev-1.1.3.6-909c8 [armel, armhf]

paquet virtuel fourni par ghc
dep: libghc-pretty-dev-1.1.3.6-aa0be [x32]

paquet virtuel fourni par ghc
dep: libghc-pretty-dev-1.1.3.6-d6a01 [ppc64, ppc64el, riscv64, s390x]

paquet virtuel fourni par ghc
dep: libghc-pretty-dev-1.1.3.6-dd4b1 [sh4]

paquet virtuel fourni par ghc
dep: libghc-pretty-dev-1.1.3.6-f7dec [i386]

paquet virtuel fourni par ghc
dep: libgmp10 (>= 2:6.3.0+dfsg) [non sh4, x32]

Bibliothèque arithmétique à multi-précision
dep: sgml-base (>= 1.28) [sh4]

infrastructure SGML et gestion de fichier de catalogue SGML

Télécharger libghc-smtlib-dev

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	1.1-4	590,3 ko	7 158,0 ko	[liste des fichiers]
amd64	1.1-4+b1	398,1 ko	4 134,0 ko	[liste des fichiers]
arm64	1.1-4+b1	418,3 ko	4 861,0 ko	[liste des fichiers]
armel	1.1-4	505,9 ko	5 090,0 ko	[liste des fichiers]
armhf	1.1-4+b1	491,7 ko	5 025,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.1-4+b1	736,9 ko	7 107,0 ko	[liste des fichiers]
i386	1.1-4+b1	602,6 ko	5 459,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.1-3+b1	683,8 ko	13 949,0 ko	[liste des fichiers]
loong64 (portage non officiel)	1.1-4+b1	784,2 ko	9 384,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.1-3	666,6 ko	6 301,0 ko	[liste des fichiers]
mips64el	1.1-4	526,9 ko	6 894,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.1-4	508,9 ko	7 238,0 ko	[liste des fichiers]
ppc64el	1.1-4	516,8 ko	6 534,0 ko	[liste des fichiers]
riscv64	1.1-4	712,9 ko	8 290,0 ko	[liste des fichiers]
s390x	1.1-4	624,9 ko	8 175,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.1-2	119,1 ko	1 513,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.1-4	650,6 ko	9 748,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.1-3	763,5 ko	7 242,0 ko	[liste des fichiers]