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

Format: 3.0 (quilt)
Source: pakcs
Binary: pakcs
Architecture: any
Version: 1.14.2-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: 3.9.8
Vcs-Browser: https://anonscm.debian.org/git/pkg-curry/pakcs.git
Vcs-Git: https://anonscm.debian.org/git/pkg-curry/pakcs.git
Build-Depends: cdbs, debhelper (>= 9), quilt, curry-frontend (>= 0.4.2-2~), curry-libs-source (>= 1.0.3-1~), curry-tools-source (>= 1.0.3+dfsg1-1~), swi-prolog-nox (>= 7.2.3), sqlite3, lockfile-progs
Package-List:
 pakcs deb devel extra arch=any
Checksums-Sha1:
 8b48fb471200e10c85c2e73dd7417d9aaf446ed9 650238 pakcs_1.14.2.orig.tar.gz
 0cb2bd468c46c32f168cd39d1cbdace5470be53f 11436 pakcs_1.14.2-1.debian.tar.xz
Checksums-Sha256:
 35014f334091c3e814c18524dad245b2629f0d7b3c9521b89618e201e14edf64 650238 pakcs_1.14.2.orig.tar.gz
 83e779148e5ff79d1b2b287fbed61cb082f8277ee0d7d0293308299482789203 11436 pakcs_1.14.2-1.debian.tar.xz
Files:
 385246a92cb0b0fc014b068deba6e2e9 650238 pakcs_1.14.2.orig.tar.gz
 cc62d3c37c47aa7885b5ce9285e3a9da 11436 pakcs_1.14.2-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJYsDZJAAoJEJr0azAldxsxcXwP/RnKrCxCWyNIzPqOAoX9BdBD
/dMQSmZat+c6FJ8Dsh9DTYloqpJFg/VOB+qFY/WfxjCHf8Ou7ZZPRNLyNvdsQp0G
S4Jop9BCxNzEGaD5Sd8mvZENl+Q6OTRmOlYzaHGW3MadAvB5QJVUZTUf3ZJR6Fo4
t0Vg8xYVkuSgnnC82nGSA0DKnbaHeTo0Vg9hrteDdj4M9YMCKLg8Lb0ligu0iixB
tiM20pc13gwyiEywrb1hP3SMPXmu5lKr/EMcNTlqWZzT0/c0aDITGNsNaVlJcV/x
ih7/MFiTKzpG/aGSUXq/uj2ZAC3g5138hY2Oy8HT6hhutS31V8IEMeOKOkGMl5cY
XwbPqGU8iCdiHUy5uM85GWIr60hV2y8l+69DmKO7Vaj/H30oJODcxM+icS9oXiAC
goVWAr6YvA8MobVlD+tXDwMwYkTN7FkYuovlLRU/QpbTs2bkWjqhF2/bBuNK2xpb
V6j/sBU9Vpji0th85ging7pqRB3MnWqhOLYJMjKiyCUZR40Ffj2Te0eurMb0+NEq
/u6Qx2XDW9f6u6rix0khfM2aOwka5xiYZrIX/08Ps1mxptFswYDwSnfgB8huDw5s
tsVSYgYApgVWQNJ4oUlTRaH+093RulI0MkP35nZayWOvNV7hpdNlCRhoeGWzbSnW
ui4hKv8HTjCbgtzGXKPQ
=sp2D
-----END PGP SIGNATURE-----