Package: libghc-dependent-sum-dev Architecture: amd64 Version: 0.7.1.0-1build4 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: 217 Provides: libghc-dependent-sum-dev-0.7.1.0-b3873 Depends: libghc-base-dev-4.13.0.0-2f220, libghc-constraints-extras-dev-0.3.0.2-6af9f, libghc-some-dev-1.0.1-0f23c, 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.7.1.0-1build4_amd64.deb Size: 23596 MD5sum: 9a941e8cc215d6610921acefb4758b8e SHA1: 1c4c5cadaed422dc5879ac61ae2fc4baa73cd095 SHA256: e29afaa8b07ba1b00bc9dd22a597001f08b59c2263a05fb064e1692497acd87e SHA512: 72da0336889ea43ff8de42a439acb9423158d894444d6c87b80f6dac428072050928c25b46c9bb20a41a85730ff5be0bfc8c8cbf32cb7f1a24623bc5cfe4bac5 Homepage: https://github.com/obsidiansystems/dependent-sum Description: Dependent sum type Ghc-Package: dependent-sum-0.7.1.0-3cI41VGM1gsJkEozApN95E Description-md5: 44266b1bc2fd61aa09f458dbee73e939