Package: libghc-simple-smt-dev (0.9.5-1)

Links for libghc-simple-smt-dev

Debian Resources:

Download Source Package haskell-simple-smt:

Maintainers:

External Resources:

Homepage [hackage.haskell.org]

Similar packages:

modo semplice di interagire con un processo di risolutore SMT

Questo pacchetto fornisce un modo semplice di interagire con un processo di risolutore SMT, usando il formato SmtLib-2.

Questo pacchetto fornisce una libreria per il linguaggio di programmazione Haskell. Per maggiori informazioni su Haskell si veda http://www.haskell.org/.

Other Packages Related to libghc-simple-smt-dev

depends

recommends

suggests

enhances

dep: libc6 (>= 2.17) [arm64]

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.2.5) [amd64]

dep: libc6 (>= 2.3.6-6~) [i386]

dep: libc6 (>= 2.4) [armhf]
dep: libghc-base-dev-4.13.0.0-2f220 [amd64]

virtual package provided by ghc
dep: libghc-base-dev-4.13.0.0-3cd45 [i386]

virtual package provided by ghc
dep: libghc-base-dev-4.13.0.0-5b8ba [armhf]

virtual package provided by ghc
dep: libghc-base-dev-4.13.0.0-d4e5b [arm64]

virtual package provided by ghc
dep: libghc-process-dev-1.6.9.0-23e5c [arm64]

virtual package provided by ghc
dep: libghc-process-dev-1.6.9.0-83e3e [armhf]

virtual package provided by ghc
dep: libghc-process-dev-1.6.9.0-88a89 [amd64]

virtual package provided by ghc
dep: libghc-process-dev-1.6.9.0-ef5bd [i386]

virtual package provided by ghc
dep: libgmp10

libreria aritmetica a precisione multipla

sug: libghc-simple-smt-doc

modo semplice di interagire con un processo di risolutore SMT; documentazione
sug: libghc-simple-smt-prof

modo semplice di interagire con un processo di risolutore SMT; librerie di profilazione

Download libghc-simple-smt-dev

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	97.6 kB	811.0 kB	[list of files]
arm64	111.0 kB	1,069.0 kB	[list of files]
armhf	107.1 kB	840.0 kB	[list of files]
i386	94.9 kB	675.0 kB	[list of files]