Package: libghc-smtlib-dev
Architecture: amd64
Version: 1.1-1build2
Priority: extra
Section: universe/haskell
Source: haskell-smtlib
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5264
Provides: libghc-smtlib-dev-1.1-fea78
Depends: libghc-base-dev-4.13.0.0-2f220, libghc-pretty-dev-1.1.3.6-33019, libc6 (>= 2.2.5), libgmp10
Suggests: libghc-smtlib-doc, libghc-smtlib-prof
Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-dev_1.1-1build2_amd64.deb
Size: 460520
MD5sum: cfd67cc2d474d3dc195eedf7660c838b
SHA1: 69e16e22dd64aabc42f664933c8825202fcc686e
SHA256: a496511726997f54b73d40d41e7e8f827c873047a505da0545de119128e0f6ea
SHA512: 0cb586acfedca775954746e32f55c4214ce618c477f3130b16ab1b80864f494f79e24633d326a4f1310c449e53f02a9c6c200086b5fbd44e51d579ce025b920e
Description: A library for working with the SMTLIB format.
Ghc-Package: smtLib-1.1-6JJkuW7YCo3ExAL2xJtS4K
Description-md5: dd571ef0c36dd122b05179bd0bbb8c70