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

Format: 3.0 (quilt)
Source: pakcs
Binary: pakcs
Architecture: any
Version: 2.0.1-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.1.3
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 (>= 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
 263c1e8292d3f7afecb2a7140589c14bd936aa55 10100 pakcs_2.0.1-1.debian.tar.xz
Checksums-Sha256:
 3ed24ec26646994b9b76d54072822b814fee9680a35cac9e67b35346b34ee117 660549 pakcs_2.0.1.orig.tar.gz
 a874002fe19f31c6f643abd6af008235c67e1545a3f1a04834843698403e5c09 10100 pakcs_2.0.1-1.debian.tar.xz
Files:
 63b6c6f8176939f28ff48ea1475ff419 660549 pakcs_2.0.1.orig.tar.gz
 e94b556a33e3d26324304459cb423221 10100 pakcs_2.0.1-1.debian.tar.xz

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlp9jsUVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsx3x4P/RThZCe8rOITX2XbJxhh3+hFsIhZ
1vPCwE780B0QvZWU43xEm96EpCXNS2gVUbDT/6dVmF7JuYR/me1EsvuMKhUMemcp
rZnUTVCqxFcBfRZLK+YKw6QSE8TQgQLgiLNrdtsbamjDJ8oyznf6aP95oZb3LGzA
c5m1IoRwF6Wc0q+LrWiDcZfijwFj67dezUMquOFATzbfGcNPbgFvwdfNy9DxRCKs
gc78axyv8IS7iFpbam+9HpRlwchTIUcfFJjO+fMuqlnc/gxOVBopqTdOfWeM0ckd
WHwAce0y7wbKX+0aWlqhU220ANomKqlIxTB6BZ8q+HgikbsoEdzGBLpKeB6Xskt1
TgYDiE6M7k1QheT/Gekz4P0BocuhOFL3Xt0L7LmUeLqE2D58SYYTzt0vg5UkP6VD
x9uqifcHpgckymkl9MLAM8i16cDPEHRMtLFcvkF0k1feJIXM6fkiXCr5ve5quUWj
9dAw54A8NhFF2xdAIKLMHd/EhyzjjPHgGxoe4oOtyFi+TTDljwms2QUfnRj4ZMdN
xG5K9RD3QViJIW/YTm+tyZZyOOTiM8Ue24W9FhodToOdZIIKeMd5Btv1eGaY36Gy
KCh8yyO9N1bzT367ztvQyg7gEtChzeSRccvOG8NMpZV422cQI9+M/l3MZqJ4VweF
a1PshlqYGtG8nvkK
=Kj1z
-----END PGP SIGNATURE-----