Package: libghc-smtlib-dev
Architecture: amd64
Version: 1.1-3build1
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-3build1_amd64.deb
Size: 473598
MD5sum: 9bc304c5681ca928560d9b6f798b3779
SHA1: 0885a2a0c9ade772408ccdbc5730c7ef38f1e0c9
SHA256: 652a45f5d5df4f41961c3e90e485b4bd250d7db986c95a696786c8f3af894684
SHA512: 6e8d872171c4ef312aec592f20c7daa06190ed7bb7359136aede87130ecc158193b244b3691b4a89cb9e30b7f1a457c05b90871d2a207edf657fd3590f122114
Description: A library for working with the SMTLIB format.
Ghc-Package: smtLib-1.1-FEvARVafcUNAUcXZvN9BBk
Description-md5: dd571ef0c36dd122b05179bd0bbb8c70