Package: libghc-dependent-sum-dev
Architecture: amd64
Version: 0.7.2.0-1
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: 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-1_amd64.deb
Size: 24596
MD5sum: 266feb2d36cb08ecd1926fe977ed61ae
SHA1: 36c693897a0e3bf0e762930bf10b7460bcddcda7
SHA256: 06a7d2cf4a58a0514d22615380f9b521189cf21704573637d6eefe8bc0b50ca1
SHA512: 6f590698c9de52e8b8609f5b801ec4c2105665b4241c80997a75a3e92c6e1b7d1a0e76cfee57c80eec7a49b92bf31856c195c5bd9591c516528949438e85220d
Homepage: https://github.com/obsidiansystems/dependent-sum
Description: Dependent sum type
Ghc-Package: dependent-sum-0.7.2.0-7YL7A0V0Bp59tGkTJ7fQvz
Description-md5: 44266b1bc2fd61aa09f458dbee73e939