Package: libghc-dec-dev Architecture: amd64 Version: 0.0.5-2 Priority: optional Section: universe/haskell Source: haskell-dec Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 116 Provides: libghc-dec-dev-0.0.5-4ab06 Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-boring-dev-0.2.1-d8a9f, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg) Filename: pool/universe/h/haskell-dec/libghc-dec-dev_0.0.5-2_amd64.deb Size: 17690 MD5sum: e22a2abc1eeb080b1056decea69230fa SHA1: c3634e6f2ae5fbaf6ed3e837925461485d186099 SHA256: 4ef1b4a8c3543ce0d29408b00c18f72e38edf2aa776d144460c777b663435c9b SHA512: eb6ec4b5d7c95dad3edd1bad03c5e7943b1f7e088db6259409ceeb1b0703b5177d4c053d4878c44d18f873a60392377064a04a9dee311866657415bfd04759ab Homepage: https://github.com/phadej/vec Description: decidable propositions Ghc-Package: dec-0.0.5-6YWuSltygAM3nEsdeFI6mE Description-md5: 70d0377493c12db616bdbc4b63c5a322