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

Format: 3.0 (quilt)
Source: pakcs
Binary: pakcs
Architecture: any
Version: 2.0.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.2.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.1~), curry-libs-source (>= 2.0.1~), curry-tools-source (>= 2.0.1~), swi-prolog-nox (>= 7.4), sqlite3, lockfile-progs
Package-List:
 pakcs deb devel optional arch=any
Checksums-Sha1:
 d1fca598452a377076075bf0479547859622f80e 660549 pakcs_2.0.1.orig.tar.gz
 ea722865e6e8f32e399e19abd6cef9becd7bb79a 10180 pakcs_2.0.1-2.debian.tar.xz
Checksums-Sha256:
 3ed24ec26646994b9b76d54072822b814fee9680a35cac9e67b35346b34ee117 660549 pakcs_2.0.1.orig.tar.gz
 1fb4aeb0f3ff3e563e597579a1d75eaa28c10ebdbe284b8fffb697f2a01f1a2b 10180 pakcs_2.0.1-2.debian.tar.xz
Files:
 63b6c6f8176939f28ff48ea1475ff419 660549 pakcs_2.0.1.orig.tar.gz
 99027bea2ec6eb90e074d8a9cc8f2728 10180 pakcs_2.0.1-2.debian.tar.xz

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlt6w7sVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxTgcP/0S53XBaNHqROPS61l8/BQEjCqkT
uiw9TRDpDKM1ZpczwGTw4+cBpZol82GF892BBMf8ps/8yNlywicI4P0yLAwJOpaX
WfJ0bD3k5yiSZavZZETnFlZkHL6WE2NqQ247Fqbkz5Sc9noGTiaSYmCXHgcUptwi
JdvoMjyJ4zMs0tN/nNxOEnVx7+Nn/hC329mieaByHHycXsRrDnaumkgNb/6gGcdp
nf0q2e7m2c1WmUlmgmHt7Y1WUwen48YxC9Cwe736uL65IGlymHsNDwRB7AJZnaQA
CAf+RwgjXwuzBKX38+oUyrjN6gQA3mOtwI184IXkGTg/sS1h+ZnQpzbrm4+qDFKu
8ZW4l6K4VNwEJbJsDBEOzks+M+6JBr8H308dvI4/ekpZyWuSWTg1eQijDIeDLH0U
OgTS6A7qreO+bgmHoCjJeK1rb4i2/DV63A93gODJblHO+t+XHyb3UdUKa01WRNWI
3Kr685t48TU+tc40uIJRQI30isgHsMQiuNY+wyd9cnGSBlWCdnHlUmIqaKpLfO7W
9RuDDy7C7fH4AuaaAVoYPvM1TR0TJSR4mGmkIUuIddGoHOOwwyvn9Uc41EMQhwPe
35jmdo/TXDOGRtrxtg7TBnCJk7mIkNOtUPGzs28hcf4NaT6xyyHgLtAl2qTRg+tc
mjBRYR598gmSJywm
=aNG6
-----END PGP SIGNATURE-----