Package: libghc-smtlib-prof
Priority: extra
Section: universe/haskell
Installed-Size: 1398
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Architecture: i386
Source: haskell-smtlib
Version: 1.0.7-3
Provides: libghc-smtlib-prof-1.0.7-fb47c
Depends: libghc-smtlib-dev (= 1.0.7-3), libghc-base-prof-4.8.2.0-a3ce8, libghc-pretty-prof-1.1.2.0-05f1b
Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-prof_1.0.7-3_i386.deb
Size: 174944
MD5sum: 4c807240ab6b065e60c39bd12ed0dfa6
SHA1: 613341bc031b557bdc7714c6651d544b91203229
SHA256: edaca2d05b145b3155879a0b0b5ea6627c0309cb0ea54efb1e5f3f3abc24239d
Description: A library for working with the SMTLIB format.; profiling libraries
Description-md5: 2830b4d6e104ca002170659b37feefea
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu