Package: libghc-dependent-sum-dev Architecture: amd64 Version: 0.4-3build1 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: 476 Provides: libghc-dependent-sum-dev-0.4-6037c Depends: libghc-base-dev-4.12.0.0-a86a1, libatomic1 (>= 4.8), libc6 (>= 2.2.5), libgmp10 Suggests: libghc-dependent-sum-doc, libghc-dependent-sum-prof Filename: pool/universe/h/haskell-dependent-sum/libghc-dependent-sum-dev_0.4-3build1_amd64.deb Size: 50016 MD5sum: da2d49dfe00645b40612c92cd9404953 SHA1: 24a8ddebee91aa2d0dcfb28662e4ed5a27a223df SHA256: b776225c72dbc33a129bfa69e0148c1ab18516b41d1df06a337a39707d4063e8 Homepage: https://github.com/mokus0/dependent-sum Description: Dependent sum type Ghc-Package: dependent-sum-0.4-DC6FPbMlBM3GVVz1DTobQQ Description-md5: 44266b1bc2fd61aa09f458dbee73e939