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

Format: 3.0 (quilt)
Source: curry-tools
Binary: curry-tools-source
Architecture: all
Version: 2.0.1-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.2.0
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:
 8f1cb2a798e6e4c0e704a21958e0bbf9f79bd9e5 425094 curry-tools_2.0.1.orig.tar.gz
 8c57df228bdf2ac36a8ca27ed3be486113b06fd1 3588 curry-tools_2.0.1-2.debian.tar.xz
Checksums-Sha256:
 420787b4b02a06a9aaaa6b5e5971e86a31dd3d459c54d2d8ee2d36a4b8eb3fdc 425094 curry-tools_2.0.1.orig.tar.gz
 b55e7f589fbbe884aba91391ef5f8b549496d8108fb69270b0de9801314a1bbf 3588 curry-tools_2.0.1-2.debian.tar.xz
Files:
 9c9e59a605677ca6751e40c4c0c580e8 425094 curry-tools_2.0.1.orig.tar.gz
 bcbed5ec6964d701726e8b0b961bdc0c 3588 curry-tools_2.0.1-2.debian.tar.xz

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlt6yUgVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsx71kP/i9stEDHnazFWYuY8NkkygffxINC
f6bP2/xUyfDPm+wKsl45lIDA11nb9exGMnJ5XlKw8s4m9eN+XfS7pIcYvH+63zXP
OLgKj5qS+xZSCNUwmompZQ/zLqqiBal/UfewxZmkAtjkH/TiiuLIJSw7eiqQ5Dki
jGKbbg6PLQwjja3kyhM1etay24IMyqKRMQf2uYFegGYszMCO5xBEnb0oLY4Av1d4
NGbzE2JgOJsOQtxl1ZGWslQg0GCRRm8JxLzLPS2mEpeRnoNjYevsBL2f1ia/XQAh
lmR0IXmuI1x2y4BR7yJXk1AC/XGM2Xuce482H0RthAX0PsfslPMgnRFumXarzPCv
CwImGECu+TruclBcZdMi3HeEdCy9m/vjXmrjfCofiIgxzh7mp+s+V8TAm6Xkpg+a
puTNm5LrGypVVFna15c4Pno3iPMW8ppUxRd+OJEvTJBkVIDsDHoQlQDWQRTJyVmy
xMGjX/TbTsSEeDL7SoXZZNg8p/RV5vqSaC/FwZAhCSBcxp0SkbsWUPkHEggK/tdm
3++xncD2m+iSTcbAiz8+RBRQ72OI3OUZ2oivBuVlSX48QuolDKdFTCMr9xx9GA+S
dzDT2dBqimqxi/YsWFgD4txIeQgcqgk7OakZeKgZZbIaIzgK/i9SrRnSjd9xpgdX
6ioTbc5oh8NmptDS
=Huje
-----END PGP SIGNATURE-----