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

Format: 3.0 (quilt)
Source: pakcs
Binary: pakcs
Architecture: any
Version: 2.1.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.3.0
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.3~), curry-libs-source (>= 2.1.0~), curry-tools-source (>= 2.1.0~), swi-prolog-nox (>= 7.4), sqlite3, lockfile-progs, rdfind, symlinks
Package-List:
 pakcs deb devel optional arch=any
Checksums-Sha1:
 1dd568018e995339e4732149a50bcb57ea81d150 619544 pakcs_2.1.0.orig.tar.gz
 9408f66366ccf91be7a5b4b066eb7adc6fc9c453 11660 pakcs_2.1.0-1.debian.tar.xz
Checksums-Sha256:
 9736367054a1fd8ea6c257f5239e102486e2356430f457b8f66b61a6162b245a 619544 pakcs_2.1.0.orig.tar.gz
 945bebd702aba0016bd1e565d5e26b1f1f2d3a2369ff76c4379f5fd3a3a57fed 11660 pakcs_2.1.0-1.debian.tar.xz
Files:
 6baff3424cd82d52fc38a2ef577936dc 619544 pakcs_2.1.0.orig.tar.gz
 2b45b9177c628f49e5cdece4773e1fdd 11660 pakcs_2.1.0-1.debian.tar.xz

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlxVu7gVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxV7cP/1obwGfXgk3m3gEzC4kD3TwiHErc
Rc9Bolfnc+zwdlWx6eK+jvFxzp/NEtnsfE/Kc2dY+wwRPEXqpFq6Bmex5sXLPXXx
8iiHsNQ5zydcy010a85Rl/VxErBxHvA+K5241caq4xc25TW31Azzzu6Qru0iObG6
n06ppYUGj+L9OD249MBZd6mzsihEb0cwAfRGGky1Pv1fUNWcHeAbHg8H69sLFttF
UUO/EO7pGo4ZXttcB3zVpi35xMn5Ip9xPAepnIwhj3rWTcmtIiW6wQ0j4V0tmaZy
JoF7iAaPLnJoir5AjmKsPkbyfjkclfb6OylzdFMl7W12/enzIFxTjZxGoqycKHSX
A9Rm+bgpMfej3y8Lkm0476BXb08C6yK4fT7WYUX1tXpipshpbE/FnbEsh0dLztyw
ajruaqdUi7pb5vQKnu+lue8pDC03J3Ca52nHF4VN6n9utqfiBWITPQCM6g/ExjKg
zRD/gZ2AA797S0qASX/aFXbYg2SNYuz4jgyvaPRDygm0sE3hroPxa2SRy4luaNBa
uTTbqIMRnuoWFKbw4FlS5kc67c0xjo5Kq5UW1Q/e1NpGlX5ZZyQ3iCztCamXTcMs
4g62lDlNeTGbdWSlIDXgUFr3L1kWRKmDTeKYbcoenuOd+/HIUHtpnNw0nbGtWqaH
prAPdXEqrjyBfEf9
=hrj+
-----END PGP SIGNATURE-----