-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: haskell-dependent-sum
Binary: libghc-dependent-sum-dev, libghc-dependent-sum-prof, libghc-dependent-sum-doc
Architecture: any all
Version: 0.7.2.0-2build1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Ilias Tsitsimpis <iliastsi@debian.org>, Clint Adams <clint@debian.org>,
Homepage: https://github.com/obsidiansystems/dependent-sum
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-dependent-sum
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-dependent-sum]
Build-Depends: debhelper (>= 10), haskell-devscripts (>= 0.13), cdbs, ghc (>= 9.4), ghc-prof, libghc-constraints-extras-dev (>= 0.2), libghc-constraints-extras-dev (<< 0.5), libghc-constraints-extras-prof, libghc-some-dev (>= 1.0.4), libghc-some-dev (<< 1.0.7), libghc-some-prof
Build-Depends-Indep: ghc-doc, libghc-constraints-extras-doc, libghc-some-doc
Package-List:
 libghc-dependent-sum-dev deb haskell optional arch=any
 libghc-dependent-sum-doc deb doc optional arch=all
 libghc-dependent-sum-prof deb haskell optional arch=any
Checksums-Sha1:
 2e7f7a11983150cf6d50e4e10343bc23bf127f93 4565 haskell-dependent-sum_0.7.2.0.orig.tar.gz
 a880ec4f3f6f027b5e8dd77e12b2bc3fc9f5b451 2628 haskell-dependent-sum_0.7.2.0-2build1.debian.tar.xz
Checksums-Sha256:
 826561ecf285abc857bde043e5aac50cb7a7157aaf24fd1aee26a25d4c2a3cbb 4565 haskell-dependent-sum_0.7.2.0.orig.tar.gz
 d73fb6b5ef8fa3816f92e383e91d353d1c407444457bb1dfb4d540d65206ccba 2628 haskell-dependent-sum_0.7.2.0-2build1.debian.tar.xz
Files:
 248fea596750198603c8cfe12e11b394 4565 haskell-dependent-sum_0.7.2.0.orig.tar.gz
 34bed64f653e478166e708fa2af0dfbb 2628 haskell-dependent-sum_0.7.2.0-2build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmcZkQIACgkQLIPbyOm9
DjdPEQ//d+Q7GD7ToTzTtNeODESrK9suNYkEbFT/lEDyHsEmHOAoO4RZDbXOLZD2
y/+IAYqKyjT0Numa2XCtQXnI37ep02HlnagtZrIgMqLz1VhC58X9ATpMEbvaeZq6
j3qnpCzIpCCK8dpwuXbYu43AXKak9395b0Fc+RDGNVzO01Ge3aEIrUZAvr+/1KLS
zmonEdNBTGf5luxmDnt2AvDGUy24QVXUrsw6e4jk6K0jW2Y+hiLP+HMrOptxpakv
mnkhZQVj2Od9x/fLPB7drtPebrR1dHm1CTU8WMWyhIJ4lS2AxByHqL7dL3ChmgAx
BFcttozCBHK5YPYuiP2KvtlMscAtiQcuUuZ68Q03l/LmPO4fY9j0JKAFiri2cjYQ
/UEeNiaiLKcqHDQO/XlSuKQ05bKGVDQaPHHV3bT90DwD48w3mVSYuyWOJGw1gHGa
c2LaKNH0AiecHt+EXGYnRN8/FJWRHXDwg70Rs8kKt0jfQZyPwmzL9WWxvPf/qc1m
x57ysuYsYEl48JcHicZ/x6lB75gNRLaOsa+bGRa8RNshmcO6nd1XNb/sZK3eGN+J
0Klu6UXHuowO0ckJKfp+xM+nsPZy68Kbq7I88lbqxWhxfjS36Z7LI1/aCpFmbQkF
HQ/vyMwR+KuOa0CZzaHwbOrT1IJA6tyIEHTgv9Whifn98s01COk=
=P8Qo
-----END PGP SIGNATURE-----