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

Format: 3.0 (quilt)
Source: pakcs
Binary: pakcs
Architecture: any
Version: 2.0.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: 4.2.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.2~), curry-libs-source (>= 2.0.2~), curry-tools-source (>= 2.0.2~), swi-prolog-nox (>= 7.4), sqlite3, lockfile-progs
Package-List:
 pakcs deb devel optional arch=any
Checksums-Sha1:
 2b0ac7b18fc4a404f10338d83d3b1ad2cd5a927e 665112 pakcs_2.0.2.orig.tar.gz
 5535931bad8f1c3705ec7e133aa8779ffbe493ff 10420 pakcs_2.0.2-1.debian.tar.xz
Checksums-Sha256:
 e0564087b2b0954fb786660005619b0d60042af4113e9c9b2a9d55bbb90351f1 665112 pakcs_2.0.2.orig.tar.gz
 8f137320c4636d9255f545522543752015f0553d5846e9dbb8e890a393436172 10420 pakcs_2.0.2-1.debian.tar.xz
Files:
 912ede674e9140bc6b07b12d35cb3804 665112 pakcs_2.0.2.orig.tar.gz
 fb1ac546b829ab6462286d6573da89e6 10420 pakcs_2.0.2-1.debian.tar.xz

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlv4HXgVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxeI4P/0fL66qjMT1dCtQOAupbO6CKxv/+
l+fAIWpKX6E/U98B3+QMQp22qpjnCsRIY3BlIC15VyMWL9/7NNE5EmkWrzlzzkYc
0rfreoC24537hOTfU1IYnI+NdNK+XpiB3j1rvDKn2MHmi4AYZIm2ArZQFZXlHJif
tKK5TBh8Zlgk//Vrx+n3KvQ6KsfbS/5FCKybvj67s47ZjYZoLw57iqW6OEnjpZx0
FkZutsCwGmJMyw+czkdcG1A6FbXGAcQMsEKJvUMTbJrmKpTmfgl8J5JyAvzJleMX
cUZjkeeOMqJ8hcwBAEO7YjIN0D3IWXU6SR84DCJaGT6JJT3drysfXZHmRmaSz9Ec
pspn0A0/43DSsoDBaWJvV5YAU+8QJUuTKtWfmbEkDEEtiMQi7wX0LNShfnTt4ntY
0/7cAy9TJJj6G7PLenogaow9TOoQAqpnqegkxgA9XF+OuwTwXA5teL0sVtwmYMPi
V2QmBkgSh+r7JkbDZw+E5HqhBCk8u6rimxOY0J++RAhelFxTlW9wnEd3OrMYSRTC
4EI1QuSgqjYkCp1o4ndU3wNcGUoYjy4m7vv9OAHv02DeUIStf419yRygK8pLhhmQ
uIREAYjB3S0YJcwOtAwZXMcPGGGdAmw3HTMPPogOdVddXZGcLJeoWNEfRf494vDf
MnUAbhuUfq3NQeMo
=Wdch
-----END PGP SIGNATURE-----