[ bianca ]

[ Source: haskell-smtlib ]

Package: libghc-smtlib-dev (1.1-4 and others)

Links for libghc-smtlib-dev

eLxr Patch Tracker

Download Source Package haskell-smtlib:

Maintainers:

Similar packages:

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.

Other Packages Related to libghc-smtlib-dev

depends

recommends

suggests

enhances

dep: libc6 (>= 2.17) [arm64]

GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.2.5) [amd64]
dep: libghc-base-dev-4.18.2.1-75247 [arm64]

virtual package provided by ghc
dep: libghc-base-dev-4.18.2.1-8e81e [amd64]

virtual package provided by ghc
dep: libghc-pretty-dev-1.1.3.6-21c21 [arm64]

virtual package provided by ghc
dep: libghc-pretty-dev-1.1.3.6-8f6c9 [amd64]

virtual package provided by ghc
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library

Download libghc-smtlib-dev

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
amd64	1.1-4+b1	398.1 kB	4,134.0 kB	[list of files]
arm64	1.1-4+b1	418.3 kB	4,861.0 kB	[list of files]