Package: libghc-dependent-sum-dev Architecture: amd64 Version: 0.7.2.0-1build1 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-1build1_amd64.deb Size: 24680 MD5sum: 6ec43caaa2486aa9f36af50c976efcf7 SHA1: 75a7254fd98ba9318fa2d65db89db9a0f552275e SHA256: 41ac61f8d93bae44d7935038c4cdadcd83ab340e4589e412e21aca59185c9797 SHA512: 41a297a8c890c9c31785616017760cce4645141f603ed43f85623f8bbc07c7aecb9808bd90094f5d298e39587682ef704900b18def3dcf8a8262e0e7410704b3 Homepage: https://github.com/obsidiansystems/dependent-sum Description: Dependent sum type Ghc-Package: dependent-sum-0.7.2.0-7YL7A0V0Bp59tGkTJ7fQvz Description-md5: 44266b1bc2fd61aa09f458dbee73e939