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

Format: 3.0 (quilt)
Source: pakcs
Binary: pakcs
Architecture: any
Version: 2.2.0-1
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://www-ps.informatik.uni-kiel.de/~pakcs/
Standards-Version: 4.4.1
Vcs-Browser: https://salsa.debian.org/pkg-curry-team/pakcs
Vcs-Git: https://salsa.debian.org/pkg-curry-team/pakcs.git
Build-Depends: cdbs, debhelper (>= 10~), quilt, curry-frontend (>= 1.0.4-3~), curry-libs-source (>= 2.2.0~), curry-tools-source (>= 2.2.0~), swi-prolog-nox (>= 7.4), sqlite3, lockfile-progs, rdfind, symlinks
Package-List:
 pakcs deb devel optional arch=any
Checksums-Sha1:
 2bfcf690fc2de060c01c8f28cea2deb505aa15a9 622049 pakcs_2.2.0.orig.tar.gz
 bf252f03b427db434b675b39b2b45cd133053e39 12128 pakcs_2.2.0-1.debian.tar.xz
Checksums-Sha256:
 2414b7c97922ce217d52566980e799b0e65490f7665d30d106356a3abecc6a51 622049 pakcs_2.2.0.orig.tar.gz
 b0349ffb31c2917d7065484ca551020983234142cb2f35dcf902fa1beac3ce8b 12128 pakcs_2.2.0-1.debian.tar.xz
Files:
 d47b0a76891645716f7509400641774f 622049 pakcs_2.2.0.orig.tar.gz
 90568b8bfb6acff46e4c38a6b02e0f0e 12128 pakcs_2.2.0-1.debian.tar.xz

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAl4daLIVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxD1QQAIxODuUpyscCNQTiuwfiZtnJzhkS
sKcXkFH0HKB0HG8CV4JdjD90ES3zwgitnGrvl6wrgOGuQtszmNEUVpz6hC7HFXPj
X9o7cWjf0PyKNaQbE9b83AlD3NOlBAlTOrDGnejj4qzjtvK1TqJ6KOIEoc8/m0tD
vaBFh20FiQbIsIIX5X7a5SD927MjxAFTNEGLCNTOgGCy55RCgMoki5Hf8MJYoUsr
kkCPCQxhizVy147AM7J9PLR/RijIHV7vMhbCk+nEW9cFuzuhei3CrEaOC5orRnF3
PBV+uq0RQgHzY9Er2fvn+KqmdUIDUhgsb64y9qr/gf5sgEM7qlmO1QdHeCNFlIXU
AlVWnGq4Et5Y1EfLmLAbaoxnZ6Qzw0UuVkSwrNjLqIEp5UAre211zmdZSoh4Zr3F
DZXtAlysEmIpAWJmU/y7KDrXsyAQN1KHyulEHUQH5KHDnfAj9Hah1R1Qoaz4MXfd
S+m/s5r3gmOgil1w0yQNwLEeC4CbhC0pYJwsBdCRCaThAH3msSwKaMbwNhnSctm1
6ozWlpUSM4s8mKkM4+wCYAYnk2nPN7Ew9AGC8AwVPt9PzBW8dcp6HCDq4DOcV58a
7N/1Z14lovZZYRfN+9GtwOeUjbbjz+0LZ2dugZZ/Wc/6yMdKYpQhq/ZWwrsozRC9
CwKUO9TiIvAQz3M8
=XlzW
-----END PGP SIGNATURE-----