Package: libghc-smtlib-dev
Architecture: amd64
Version: 1.1-3
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: 4399
Provides: libghc-smtlib-dev-1.1-b7583
Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-pretty-dev-1.1.3.6-1aa0a, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-dev_1.1-3_amd64.deb
Size: 473288
MD5sum: de8e2e14efec54ae64a56fd86ef61202
SHA1: 8074d47e4163fb7d32bd168cfb066efccf77fd54
SHA256: 198cdae6a21bae2db772fbfca83d116bcb3f2ef89a58da6c40a3ac9709c06d62
SHA512: 530671902315e3fc31023d1a90c886972eb42f43e67152fcf57a697fbfcecc977cb7173c19cf2815bd000b745446e99ba3b1a809f36d1210509df42d53bfb5f2
Description: A library for working with the SMTLIB format.
Ghc-Package: smtLib-1.1-FEvARVafcUNAUcXZvN9BBk
Description-md5: dd571ef0c36dd122b05179bd0bbb8c70