-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: pakcs Binary: pakcs Architecture: any Version: 1.14.1-4 Maintainer: Debian Curry Maintainers Uploaders: Mike Gabriel , Michael Hanus , 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.1-3~), curry-tools-source (>= 1.0.1+dfsg1-3~), swi-prolog-nox (>= 7.2.3), sqlite3, lockfile-progs Package-List: pakcs deb devel extra arch=any Checksums-Sha1: 2a17182f4c0be0b4d29607ebf6bb443c820f713b 652341 pakcs_1.14.1.orig.tar.gz f926bc419274349854aae10c27956a5e662e6f53 44332 pakcs_1.14.1-4.debian.tar.xz Checksums-Sha256: 827d403167f60aa5c731e8d906792e19207c235dcb7a61403ca8c05fb7a4e280 652341 pakcs_1.14.1.orig.tar.gz a50fc4cb637ce7303dc9964202b86d07fceaeb27a9936efb9eb70b7843013057 44332 pakcs_1.14.1-4.debian.tar.xz Files: 840d5054094506527594b1174bdb9efd 652341 pakcs_1.14.1.orig.tar.gz 1f44f377c6f0bdab40f33f8ce805d9e3 44332 pakcs_1.14.1-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJYm4REAAoJEJr0azAldxsxuHcQAKQ+u48sp7+KGgFk4MKGeTUY cLNOF3HsUqttiR3oiOG+jdjGXkbPxjK5WrI2qB8FYwmimVo0GNpnIvxS+3yG/y+g LClSEwaM9o+n2Ay0wA6ut0ONxlRKScqMNR0oo2g23a9yW6m57nZS1qDP9ov2VFqU 4/X3YwzMG0CGXsT/+wh8S0QiK3HMpVwwEdWAux08lyJuMDErIvursRvDwtnhWxZH UUI8kZrF+UQZ8LMvAv+0Mow610iFu4ns4eMvsZRtMx9Ddwb1RdOssp0LzLcxTWn5 LrTyMXSVNJy7Y/v/xa5D0LuKt3ctwv9cpD/My76+RXrwleFV4Q/3ZFXy8rLZ1bF0 Gr9xoRir4SdZYIU8U8AsMREcYp4dJfHWczAB8JQGEaX0YhUDwJPe7l7qxGA0UhoM lr+cxHAo6SE3Z4ayzvvSEC5iX+Y8t/zd3hdUHjn+DI6oDVc0XaTiVFtUCbn0ZyvV cdo9UjQX8Kq2c9y1AiD6+X+wiXQ/UF+CzF6SZ0XeDR1DpeffkC6JZLk4YreqiMGv HLbhusl54JvkINvAAaBjpP+Le1TdNEOLAbNpkmoP+QMiOZeuIsnZFN+rP9Xk0yVV 7iTKr8QxeuLQNEf5JBqiVVQTnxuzza3aLQcj+oF6ISV1fn99jtcW0ztt7jOyh+3e +RVbohosCpws00Zsh670 =g+sG -----END PGP SIGNATURE-----