Package: libghc-dependent-sum-dev
Source: haskell-dependent-sum
Priority: extra
Section: universe/haskell
Installed-Size: 173
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.7.2.0-3
Provides: libghc-dependent-sum-dev-0.7.2.0-9160a
Depends: libghc-base-dev-4.20.2.0-47ff0, libghc-constraints-extras-dev-0.4.0.2-6fbc1, libghc-some-dev-1.0.6-f1e7c, 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-3_amd64.deb
Size: 22556
MD5sum: e20664e8c60372b51796f61f29b06b62
SHA1: a1d7e52b75f376e3e09fff077d8c559531231db8
SHA256: 8a73a5bdadc4a131d52ff27f3bb6d14e8a10c05eb9d4d6a13f4471fd9c0a4150
SHA512: e558ca928ee2205eb1c7e6f39502000095395bc12de30593eabc4ca66015c03669749efa82b138e28cdcadff1938e4f3ed2a47b08f5745bdbd124a1c0544f12a
Homepage: https://github.com/obsidiansystems/dependent-sum
Description: Dependent sum type
Description-md5: 44266b1bc2fd61aa09f458dbee73e939
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Ghc-Package: dependent-sum-0.7.2.0-Fya3HRWeq8S3qGvxyHvtzf
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug