Package: libghc-dec-dev
Architecture: amd64
Version: 0.0.3-4build2
Priority: optional
Section: universe/haskell
Source: haskell-dec
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: 113
Provides: libghc-dec-dev-0.0.3-12ff0
Depends: libghc-base-dev-4.13.0.0-2f220, libc6 (>= 2.2.5), libgmp10
Suggests: libghc-dec-doc, libghc-dec-prof
Filename: pool/universe/h/haskell-dec/libghc-dec-dev_0.0.3-4build2_amd64.deb
Size: 15016
MD5sum: a82bce4a8982862b9c7b992dfe5941d9
SHA1: 3fd9ac8c37f37a5fa3dc3319a423c22f70485bec
SHA256: e71ad5480229b02914fac8a7333a563f2e75b2b48fb720427e7ffa6aff8ca814
SHA512: df7ab1f2ebef6e3cb5d946bc750c11ca09506568094a3fbb479dc500cbef80f41eae3a8f8f68ecd4d6ed6307ab5a23ee4ad158895d1dfae538523dc8d4419a89
Homepage: https://github.com/phadej/vec
Description: decidable propositions
Ghc-Package: dec-0.0.3-FO6fyD2XpRyARvxKWGtzdG
Description-md5: 70d0377493c12db616bdbc4b63c5a322