Package: libghc-dec-dev
Source: haskell-dec
Priority: optional
Section: universe/haskell
Installed-Size: 112
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.0.6-2
Provides: libghc-dec-dev-0.0.6-e8933
Depends: libghc-base-dev-4.20.2.0-47ff0, libghc-boring-dev-0.2.2-66143, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/h/haskell-dec/libghc-dec-dev_0.0.6-2_amd64.deb
Size: 16936
MD5sum: 88e22d914d10d6ce83ba8d84e89dae64
SHA1: 07fe4731d82fbf51349923dbd2dddc52ea9c025f
SHA256: 412e4be9d67d195bfd7b30157aeb01d21ae95936845a9794d302df5310f53e4c
SHA512: 2e71b27adac773a74f1b38a95a267d26170b011f71fb8d91f85d76ec23ba5651d1ecde8beea465fcb693cd3be9fcf91a5f4fc2ad7bbcb228d61fbe1e33608853
Homepage: https://github.com/phadej/dec
Description: decidable propositions
Description-md5: 70d0377493c12db616bdbc4b63c5a322
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Ghc-Package: dec-0.0.6-dKzfEpo3w66zILI7t62oB
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug