-----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-1
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.6.2
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.5), 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
 6d7b48048e6834939e22700db3126993bb5141dd 2264 haskell-dependent-sum_0.7.2.0-1.debian.tar.xz
Checksums-Sha256:
 826561ecf285abc857bde043e5aac50cb7a7157aaf24fd1aee26a25d4c2a3cbb 4565 haskell-dependent-sum_0.7.2.0.orig.tar.gz
 f229a04cf90b269be18812d6c88fa4756e77a3ccd66636268e4360823f88ca65 2264 haskell-dependent-sum_0.7.2.0-1.debian.tar.xz
Files:
 248fea596750198603c8cfe12e11b394 4565 haskell-dependent-sum_0.7.2.0.orig.tar.gz
 b9b4f23306269c9c9a3a2c1c1966aa55 2264 haskell-dependent-sum_0.7.2.0-1.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmT0uecUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDyIVA/8CdPWWsOoCZU/T2vYsn7vz4CtGSu2
DmWfph4vFnFgsX3ryuLHiLgwPep34WxD6pGgJgFS+RqfmS+oadWq3bD9FkqZIBwg
9lDfmBYeKTnZIChaH4HuLHTuY+gaWALN6X3VX5QJYlpAGsOTcFYqxndo1PXB3qbX
i+qglClpiWQqwpd3KjjTnEyvPa2f2RFAM+ASv3V59CM6TLoTJug6W45XJq+u8pmn
anLbUTAgCrvj4/C2S2diGZMM8ujSXimQOw7a7tbiZalpUBrv3vkTRksTu4neYIZQ
wP+6rBrGCqJYfJall95B5zyvZPlDW3b1aQUCPWmBX/w+XIetX3yml7SLljy5g5I0
yFwJ6OYwetkhiygtMWim48HvVnh+bfsxpIPrtjoGeJxdg5OKTdBtBvzB2YK14TBe
Cp5ksBfju8P9wfPQOW0DgAzgQAPLttPQo8pzAB1gdNCNF2MFwXCe7r9c8+TRN9L5
X/+LRg+nor2NDxZ8tcfsRKqEaiHhRe5K6W7XR8Qq9OGjqT1GWlmn9wt6nKU96Cbr
1YsuL99thUpoL7N50nLMJIMtlm9vjW6Wh5BnAfunpocno7HDyz0K/DZuJKEjzszz
79jxNnFDghU4QNOXlooy+lwmOIpNQ2uOFNQBUGURXQvZFNIblu0K50QCNWSG/omK
v1EOI6YjF7MZ0yw=
=Jkhb
-----END PGP SIGNATURE-----