-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: curry-tools
Binary: curry-tools-source
Architecture: all
Version: 3.3.0-2
Maintainer: Debian Curry Maintainers <pkg-curry-maintainers@lists.alioth.debian.org>
Uploaders:  Mike Gabriel <sunweaver@debian.org>, Michael Hanus <mh@informatik.uni-kiel.de>,
Homepage: https://git.ps.informatik.uni-kiel.de/curry/curry-tools
Standards-Version: 4.5.1
Vcs-Browser: https://salsa.debian.org/pkg-curry-team/curry-tools
Vcs-Git: https://salsa.debian.org/pkg-curry-team/curry-tools.git
Build-Depends: cdbs, debhelper (>= 10~), tar (>= 1.28)
Package-List:
 curry-tools-source deb devel optional arch=all
Checksums-Sha1:
 c00ecc30e1e2397627241066c9e529002be6fb1e 596237 curry-tools_3.3.0.orig.tar.gz
 f3da3401bc772bbf6f4c60b18e8022abc10200ce 3968 curry-tools_3.3.0-2.debian.tar.xz
Checksums-Sha256:
 34263965d025e3d300d4d9c2bcc6a7b84332106e4b2a70fe59ebd33f0584f76b 596237 curry-tools_3.3.0.orig.tar.gz
 3766586ddc9b1f864de682604dc7e702b757ebd25f2cc83025dd5a1d153f4144 3968 curry-tools_3.3.0-2.debian.tar.xz
Files:
 c4bf9d26e5ea833bc9b7bd4127f2bab8 596237 curry-tools_3.3.0.orig.tar.gz
 bc2e8d9e4dbce421a96469de399b279d 3968 curry-tools_3.3.0-2.debian.tar.xz

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAmAceekVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxu+YP/24i0ZFvnXO+FjRSFC+lXl3Y9YMd
KxME4YEm4Vo9sesaUBQVnzJQvtQWm5mURvzeB5UWK9lEpYKQlRMxRO5+LNlZqfSl
Bbqoeyc5E2ov5sukSySHDCk//ewJAc4UV1XCPQzkPmJhQj0ODdnciQD5jgf+foa5
FgrKJ0cqNbNymzHVVy1/4e+C0seGeizb+NpGzaXfj4T2wnnnxY4GZz4cCvyVREOA
Ef3MWrtxSbRPu/aACwSF3O2ThZozj6z2iITO7P+DBBJKfK7cIgekFQvD2/+Xh+8a
dibl2Qid6vRimsDLnS9FhkjUGlNP2RwxzUU3T70PRqN9AB0d0/ozZDEl0ASB4zol
rgvuAss1yA07D4CS+iCDqTd5zRQWLZp554dAR4KaAYjj8E6hd188LFCN+OIf+fQL
I3f7mufIyRy4/+zouR6xTlG/AaaGgekjd4CAS+ZQ7v5D8P9XkmruK76ZpMLJ9Z/S
c8KKxp19nsQoDBG0Nh84IYveYHdv05CewLQ4voIVKRj/u3B743CEqqH4PzDphOnj
5z88rveaCx1utwpNt9siBALjXNesImC4E12A2aBU6tZznkw5RbK+6Y9QQ3MN5R3k
PDlGigvFBGtWTXmGl7+g5elg7JF0xJaWh/VBFpi1pZiixsXC0+c4SYpDxXd+VX0D
dedmHQiNPi4jukfX
=Jb6B
-----END PGP SIGNATURE-----