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

Format: 3.0 (quilt)
Source: pakcs
Binary: pakcs
Architecture: any
Version: 2.1.1-2
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:
 3824cbecd405c612e58a4cd7ebc9ff6ae19d8f6a 620451 pakcs_2.1.1.orig.tar.gz
 30c067de04e9dd2a0fde5d61ed2d3f68f82ed231 12024 pakcs_2.1.1-2.debian.tar.xz
Checksums-Sha256:
 0cf61e0998dcdc4e7aeca0e850f04955d9a8f4f795948f3c7bc4f9a068c6c5ae 620451 pakcs_2.1.1.orig.tar.gz
 80e7edbe3a9b637fb3d337c86aa852c84033a53f5366a831c15935c9bebd43d3 12024 pakcs_2.1.1-2.debian.tar.xz
Files:
 f368e94c478ae312db272a293c539c37 620451 pakcs_2.1.1.orig.tar.gz
 9af14b790f41610d22f42bc12e6acd2f 12024 pakcs_2.1.1-2.debian.tar.xz

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlyOsh8VHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxuR8P+gPygJEW/13diurQOx5epG9W3LFw
/obJW/hKMo04X9ctyum3rqMesAAvuWLHEAf5KYXkUaG3MWkRTDO3/F61zERyY8Cb
zAz3BOQBuJyECR7Xm/POQNwMN4ME/VqnPJr2OV4M/LqjTLK2Div3l2osOm4n8Il6
ui515njlvWYsk3B34J1LAQt/ReAg/evqxONe3xWz4zSAwP+NI/SmXLLBIGFWXbOj
h32K+1+1nRlj+Nxl2tAKYBxZrjQ+xw/aP1w0+uIN3fcDiAnP40SfI53g7vSw3CgH
eSfvUuWZHRr9Iure35qq0oC8e0Rc+l4qi1NaXGc7A0g1XdzRXTsjMD3WqqCiuvh2
OCcIWk9UAsNwy4/1yA2MM31+HX6n3JhArvJgmWbJexlQRKyOWSuyG6LSINFmpCYf
mv5mdnOYk0gTHwwiVaPtIQzBoCOoQORUBmBnlr7eCcO2EhGqvVoCvU1JtejowlhO
DEMXZeTQLn5a8llM1FOSCuz49a4Rz1vWfTgPfTgiJJX2YL7qXYmYlL7KfSSxTEd+
xPdKQO6a850HoddA3d+rzMPvoNi0aNRQSGhZI6g/69G8cPzkZ5OBsS5Q11GkjjoG
Xq/Knv+gxrZNZyrmurmXRLVuLd373215ZXqZzldPq2EtAzE5qXVJQRwjpD8lZGNQ
gIdahYon3F3MghTd
=wotp
-----END PGP SIGNATURE-----