-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: cadical
Binary: cadical, libcadical-dev
Architecture: any
Version: 2.1.3-3
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Scott Talbert <swt@techie.net>
Homepage: http://fmv.jku.at/cadical/
Standards-Version: 4.7.3
Vcs-Browser: https://salsa.debian.org/science-team/cadical
Vcs-Git: https://salsa.debian.org/science-team/cadical.git
Build-Depends: debhelper-compat (= 13), help2man
Package-List:
 cadical deb math optional arch=any
 libcadical-dev deb libdevel optional arch=any
Checksums-Sha1:
 f2c90120e8f60cb08199a32bcb9c9406bbf76443 731545 cadical_2.1.3.orig.tar.gz
 7a2dc65a355c98f8a775da1ee678d5ae84a8f752 4816 cadical_2.1.3-3.debian.tar.xz
Checksums-Sha256:
 abfe890aa4ccda7b8449c7ad41acb113cfb8e7e8fbf5e49369075f9b00d70465 731545 cadical_2.1.3.orig.tar.gz
 9480e6ea840546e65f22191e04878102fdd8c82d2faa0f2231851f7de09afbde 4816 cadical_2.1.3-3.debian.tar.xz
Files:
 583258bd84b3532e5b0f46055db01b70 731545 cadical_2.1.3.orig.tar.gz
 5d580aba8b06ea356cb46c1b5bc6ac80 4816 cadical_2.1.3-3.debian.tar.xz

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

iQJFBAEBCgAvFiEEj23hBDd/OxHnQXSHMfMURUShdBoFAmnBNiQRHHRjaGV0QGRl
Ymlhbi5vcmcACgkQMfMURUShdBqw1g/+IVfXcNK0HcrGj0gd+qd6vrlyOT7JBXhQ
cTOOKFTtHqnFlVvyO3x1bL8f3j7maIStQ1wXZpuAGPuwj1uMZqOrXOUCPEsJoPXS
E2cOPKwDaQ8AMsZ3yVJuNBg3pXL8UKpsfKWXUlphrk5M/DD7Xu5qQdKFbaebsay7
1sHR0CaiUzlo4lz2GyEBIgUD+Jxo1E2CwpRjGIt8IDLWUAZJNtbiugp7F/T/mHph
u0VnspierHDHBpO8pDbec3EJFdOi/hguK1r5IgUL0stuM6JlV6htoMY6sAmWyyn4
dGppxmpDJH3XcwY/9jkQ2z+PXjYHkIAKbwwYjjFR2UdYA5M+q9LqPgeHADuTePE7
m3LY2P1oNK+AnCTwEi8uydwqPwAPmQgA949ASqMNRWf7PZxEzlUL0ZYO0KI0y1mg
QmkUKth7MjHyrNR4a+FHhLVTt7waeKs1YvWaH84Iz1T5Uc/dCx35IqtRczJEaIrP
E1uJq69yQwzLgqMeDf+EdEJvU42BpNBAavYtTAaJkH9Wz8P+47EljZCE3IkQhXkz
mmi8zJXaVnasv2WLVoPK3F6gHgQQ+Rea+e5o8ihLVhJmyLbzlXvT7feLjc4LC/2R
kO+jXlIZ0FjMol9Gb21ypBIxXta4BcGTftQNF7AN0YlPqBBSRiN3w/KpC2it7VsO
z7lqDk0tOCc=
=acpI
-----END PGP SIGNATURE-----