-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: curry-tools Binary: curry-tools-source Architecture: all Version: 2.2.0-1 Maintainer: Debian Curry Maintainers Uploaders: Mike Gabriel , Michael Hanus , Homepage: https://git.ps.informatik.uni-kiel.de/curry/curry-tools Standards-Version: 4.4.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: 5c8c36448628903fabe886fc0593d3aecccd7582 540014 curry-tools_2.2.0.orig.tar.gz e4d136ca69f42bbddff63114bb1e95e8c087d871 3896 curry-tools_2.2.0-1.debian.tar.xz Checksums-Sha256: e75761c48f8fda1b25f3e51bac342315d266ad442835658e3d6956a0f1e0ee1f 540014 curry-tools_2.2.0.orig.tar.gz 05ee00c12791e95a76bd20fc7625150eeffeee9f0686b5909151f21df427b4db 3896 curry-tools_2.2.0-1.debian.tar.xz Files: f03024da955e08b4c272ea349f46f956 540014 curry-tools_2.2.0.orig.tar.gz 7fa3a2185932cfced920cee52b873bd7 3896 curry-tools_2.2.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAl3SZA8VHHN1bndlYXZl ckBkZWJpYW4ub3JnAAoJEJr0azAldxsx+XIQAJYfwG0/VG+MDzVCFh9WGSsSmIg1 q20hhQrORaKqKkL3EFUxWYs1FDSpfjBQGCKwBXCcLMTHLEQibmm4svU8V/I+XZZr aDTCjKwWDwHLmQSiCcWr0MHsuq9MTWYriRJyeN3HcALr0EfYkvSq50axSCLfunik kSpxxBJ//sjiGrl315edVWKmIprdpRHYokHpbpPBPipul1kJooNv0bOxDFgDtiDc CxV365qRlhkNh09ZmP0Ytrhc2xKr4zBMshQHQ2K6DkP8hGpKtWLE5LVwg9JjQWag yKo0GLmFQJ5pITwm5T2c8JnSFqkg+jV7fTnPKoVY1m7/1nJBg1nSljstiNsrtzf2 aQLHmiINogDq+7wrplnbAWsRInqa1E6mJCIF3nOy4b+Pdqqzuk+TSZDO3skR3amU 0W/lNoaud7zhWmKC3yeTpJL84PfJIA2bN7Ik1WzO69IHskAK89NHurPPTM60oE3S K0gRPeGdQCjdukMQbfYWelwETB8ORtCpO9COjmwMljOKjgHqtKyzZfGKgH6a8Qgy AEeAKhTyiD60DHvonIo+X3rtecGoSowcV5xXW+f7EP81tqeQLLksVpcP9pJ7Yy+7 IYi+e5/Py2mSCTl2cbKTMJzazQyBLXtMh8Cn/gFizPX07hCyAn53Jmri5OFbHEr+ iSsr4bdE/WssRNqV =n+F5 -----END PGP SIGNATURE-----