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

Format: 3.0 (quilt)
Source: pakcs
Binary: pakcs
Architecture: any
Version: 3.3.0-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.5.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 (>= 2.0.0~), curry-libs-source (>= 3.0.0~), curry-tools-source (>= 3.3.0~), swi-prolog-nox (>= 7.4), sqlite3, lockfile-progs, rdfind, symlinks
Package-List:
 pakcs deb devel optional arch=any
Checksums-Sha1:
 0cae6c521fee60e184f40787db7444c0845863bd 602142 pakcs_3.3.0.orig.tar.gz
 137cba653d01c19c3b5b0bcb0981319ae0a6bafd 13508 pakcs_3.3.0-1.debian.tar.xz
Checksums-Sha256:
 f2839cb1a6ec1ee8a045993532bcfa1590d3f675c7b009748a14358cecf3703d 602142 pakcs_3.3.0.orig.tar.gz
 c45c07a1d959785dc6869d6085abe9c5b4cee776a36ec181714c0bf7237f3aee 13508 pakcs_3.3.0-1.debian.tar.xz
Files:
 2024a0a73cf81a6e1e8347b2676818cd 602142 pakcs_3.3.0.orig.tar.gz
 41fbd5a5685ad60f2b6e80e89bc5e58a 13508 pakcs_3.3.0-1.debian.tar.xz

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAmAceYMVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxFkcP/3PKbTGdTuI+UXTv/S0DQV8UgAhm
zpgBy3UkNjR6/O5hltbgSOpZBa7gu8OD9wtecYw8Wlm6+GUE4DZNztNkdkqTRnmd
3DtsNBkRQOrXhUGvMuFR5i4pLReTD21XzPaeIE0k1DYtdJLzlmHUXVcFY2q+bqbV
CRMjIKb81Ib+7RCXUB0YLYvjZLuqfSMiCmTpVJRVmZR+5dC9CyQ/57TJjjw3XDna
NhJzOz1hXjig9fRIj5eXbmD1Chv5bVkuIOQx5zqB4Af9M18++I2n0C/ZUn9dcjSR
ng/1tDMLX86kqX+OYdDf+bKaBAH9hCzIGml6LAI7btffQq9LazKe1Yke+n3+vo2O
Y76SLqx7d0+/h1pHUp3j526P2GjBEmEPhhsFQVEk2/JwZoB8jhCV79KohsymO6P0
gHmQyDweH6JP2xcS169s/3Tc/EGep4OcZerek3YeoGaSdNgdH7WkT7H3CLiykJAE
3aLlo+rarQb7eo9fXxgdgsgXHYo/tw5qV75LwFJm5lFEFi93WlQlw84e9q78yG8y
Zg7EwmimBA/Fhz0HpUKZtRjilOYWMRZ4/Bi6KEd+/nFD9bawnjMgvrgaaUB2TkAU
Cvj7KWsH0z2azqWMetinLFLSs4pBk4rClHeUkJ0LwIm0wrXCG79SdGSlyQYcbtg6
lgZPdNK9c7WNTh9M
=/u35
-----END PGP SIGNATURE-----
