Package: libghc-smtlib-prof
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: 4197
Provides: libghc-smtlib-prof-1.1-b7583
Depends: libghc-base-prof-4.17.2.0-68dfe, libghc-pretty-prof-1.1.3.6-1aa0a, libghc-smtlib-dev (= 1.1-3build1)
Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-prof_1.1-3build1_amd64.deb
Size: 417486
MD5sum: 6d357babddd627dd46232dfb41c1b575
SHA1: 171ef0a117fa7e0984cda527210df431cbf2236e
SHA256: 1b9e0a351b02ae49f1395355e2a5eb6220b951ec543d694b41a9c119f83364a6
SHA512: 43fa1112b690c5b8684e9cd27d149863f60660af582052c82bbbe56e54602bb220f0f1f0ad1702adbe832c4d99083e7953aeb4f4f6e5e0900479f7f0981f3b83
Description: A library for working with the SMTLIB format.; profiling libraries
Description-md5: 2830b4d6e104ca002170659b37feefea