Package: libghc-smtlib-prof Architecture: amd64 Version: 1.0.8-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: 4444 Provides: libghc-smtlib-prof-1.0.8-0bea9 Depends: libghc-smtlib-dev (= 1.0.8-3build1), libghc-base-prof-4.9.1.0-d28d6, libghc-pretty-prof-1.1.3.3-912de Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-prof_1.0.8-3build1_amd64.deb Size: 375462 MD5sum: b049635ac5f8198612e20a949b8129f0 SHA1: ba883318b2a341b011caefe6b4ce2b33b827704c SHA256: 0f8672b483640a0e73b9663bd9f4ff67681970a22dd86ec1155747297c62332f Description: A library for working with the SMTLIB format.; profiling libraries Description-md5: 2830b4d6e104ca002170659b37feefea