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

Format: 3.0 (quilt)
Source: cadical
Binary: cadical, libcadical-dev
Architecture: any
Version: 1.7.4-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Uploaders: Scott Talbert <swt@techie.net>
Homepage: http://fmv.jku.at/cadical/
Standards-Version: 4.6.2
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:
 9cc70c65c80f40c0c13b57cb43ea2a6804cae4eb 647830 cadical_1.7.4.orig.tar.gz
 b79e2c96e66ba0a225144633df1a76c5f066e4b3 3960 cadical_1.7.4-1.debian.tar.xz
Checksums-Sha256:
 866c8a1332ff1ad5dc7ad403bdef3164420f3f947816b5c9509aad1d18ada7a1 647830 cadical_1.7.4.orig.tar.gz
 a0318335ad3ce5a8671cad563c85b167f6736209f7cf9becd71e914a2f26205c 3960 cadical_1.7.4-1.debian.tar.xz
Files:
 519d7e4d1bec28efba490221bca6f318 647830 cadical_1.7.4.orig.tar.gz
 f7af75e422cbca71e4ba4c1a6b3822b0 3960 cadical_1.7.4-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmXISTcPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iivoMP/A10qJXGytK4r4ACP+uYzCejmygR3DOavyBB
SlYoq2nUTVHpjT23KwQDp2bQedXjgINhh3xuYCsw/10VTXHSkioznIug/wBJIPKW
hEmCD5oLtOEJyT/+JX/SzsT9ybyEyIPjFWW2LBSTr+qjWUZBfmS9B3myoXc/IM6t
RJKyVxUgdjbud9ePrLxPtZyPCC+cX5UtOhlGP2rMkBVK26VBhjLtZlz7CQ6NcfwA
BqtKHC4W26zVbD9j0LGAVwvcueo6aXCs5wZjpIg8NgwUV6v3WeZGHpo+RmjtvMME
AuEJZdxyz8wsTElfwg140Dvf3S2CSPVN42YhjRbdi11H4wrovS9yrLwN/HueeUfj
UDR8MFQdlowTFqNfE2MJ8xKBuxN3HbBNMNc/mbI2jiuuU8CZAmWSQN3vSonYkFld
crndXhvpg8lZApm5MQGw8i4BCm58tdp36W+eRPGJHR1tWC54y434dCxL/mM17WwH
wbAH5WwM7HjKj2tXSNhbbPs0xX31s2bB4w2nAe2xBWszJd5TdHFnWG+8GSQRmkaA
JNtzdR87uaklglYGgya29jtFBFW1UjH1+SNGWE/GMyfwQL4Zj2G8c1meDlvZUbC+
M4EpeoUP3tXBCP8rAqpM+5F2t+kGIi62NEkeqcKUmunRK4id434XKk+aiT3FbqI2
k1+JE/lG
=ikfH
-----END PGP SIGNATURE-----