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

Format: 3.0 (quilt)
Source: cadical
Binary: cadical, libcadical-dev
Architecture: any
Version: 1.5.3-2
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.1
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:
 c16961351e809d592116aba68df1a21b6f4b6680 596378 cadical_1.5.3.orig.tar.gz
 266592860f2a1bd7443c6b2908520f7137f68df7 2976 cadical_1.5.3-2.debian.tar.xz
Checksums-Sha256:
 0ff521ed36d57478a8dbc610e0d27536c9d3a2154d859152f33f8733a6dca31e 596378 cadical_1.5.3.orig.tar.gz
 b0a07805bd93c28f91be9de388be89b8b3e779bf0d10a684d23c65b0ba23756d 2976 cadical_1.5.3-2.debian.tar.xz
Files:
 8d75865354fbb90378f3011c928b9761 596378 cadical_1.5.3.orig.tar.gz
 9f4fa648919db37e5d2158b7d62c9b93 2976 cadical_1.5.3-2.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmNy0ekPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiqAUP/3JW7zcMFsTbuxi/QMiWKW3kEpWdZ+cw70LK
OQWfmr0qR1IH8jS84ZWeS3K89YLFPRMQYzElx9gpyOIlutl6Hgs873n4XUQRTXoR
zuzczlqnO1HV6EGinymsv3Pj+n2piVHhA+NDF26722y+06M6PfG2ysDLzyduAbr3
sfYNa9J+XyJor6kmE9O4Rz8tChhRgkprehgRcuQlQ31OdDkrO6eOfJ0IRS1qEpvm
lj4YVUf2007Rg0iKEAFW4oREd4srcV95jNKvMvcLP8HEyUzKWwzfQ1ckFwRNCMeA
JBohrRicRocd1BYXr83m1FdoxFQXIgf32ApltXqOfmUhJjEVIH65pAsovn4tRD+u
+TGaquxrA1qUZxvwPJgzMUjxGxQXIJkatUAYv4ulBELC+/RrKh8zS+YroD8F9Z8x
IMUl2BGhERWuPtNo9haLTtWb/9+wZSm8UITbzNQ0lzpm4vxMtOwLgcxcPgr2rCyC
0ugR01xkBV7M5JH/E09YCQxGpBQlNmmYexrfulUUB26KplD1Mpeyr8MMOcUPnNvK
TwpAwuELv4x5RdBOf3ECR9OMfEgNQwwZI1KUIh3QF+SeXFY6ltEIp4BAAs69cWPR
fL7JckvUsu7IlZzilDClzyMCFtzo9fKPKw7WUIZMV7TEIp1gQzlPhRiQSd56qnK+
ZHP/fO89
=fxXh
-----END PGP SIGNATURE-----