Package: libghc-dependent-sum-dev Architecture: amd64 Version: 0.7.2.0-1 Priority: extra Section: universe/haskell Source: haskell-dependent-sum Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 185 Provides: libghc-dependent-sum-dev-0.7.2.0-3662f Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-constraints-extras-dev-0.4.0.0-c3640, libghc-some-dev-1.0.4.1-76aa7, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg) Filename: pool/universe/h/haskell-dependent-sum/libghc-dependent-sum-dev_0.7.2.0-1_amd64.deb Size: 24596 MD5sum: 266feb2d36cb08ecd1926fe977ed61ae SHA1: 36c693897a0e3bf0e762930bf10b7460bcddcda7 SHA256: 06a7d2cf4a58a0514d22615380f9b521189cf21704573637d6eefe8bc0b50ca1 SHA512: 6f590698c9de52e8b8609f5b801ec4c2105665b4241c80997a75a3e92c6e1b7d1a0e76cfee57c80eec7a49b92bf31856c195c5bd9591c516528949438e85220d Homepage: https://github.com/obsidiansystems/dependent-sum Description: Dependent sum type Ghc-Package: dependent-sum-0.7.2.0-7YL7A0V0Bp59tGkTJ7fQvz Description-md5: 44266b1bc2fd61aa09f458dbee73e939