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 <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
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