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

Format: 3.0 (quilt)
Source: cadical
Binary: cadical, libcadical-dev
Architecture: any
Version: 1.5.3-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.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
 44b0dda077bcc658630f82415ddba585bfcb559d 2924 cadical_1.5.3-1.debian.tar.xz
Checksums-Sha256:
 0ff521ed36d57478a8dbc610e0d27536c9d3a2154d859152f33f8733a6dca31e 596378 cadical_1.5.3.orig.tar.gz
 513e4629fb5f8e924a754e41b6b986530a75db8bdc821e93d4c97a9879fc6602 2924 cadical_1.5.3-1.debian.tar.xz
Files:
 8d75865354fbb90378f3011c928b9761 596378 cadical_1.5.3.orig.tar.gz
 e83711ba196ee4efe291e944c67e3ff5 2924 cadical_1.5.3-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmNhf7gPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iin1MQAKgUh7hS3qgK2h431cMgE6x8GYxvmKl73g03
NViwiFhqT11uFqyZd5PembCikr37y2UQZf6KX8mxcJJ0iMnlvs5EB5zWa79/ybwT
LOwdYbaEb9z3+LEXhEu8XyrEa4++u6RgGBsdw9CsJH9KQHSkjXwBGIthhD8ajSvv
o7xHoKHnQCEKBtDz/+GgfqZ/20bpaCa15qTGMh7obVVdkaJ48O8I6LxI9oVr6VQ0
B2nYjhG7zNgr1qiW5W50LQfxN8Oq7Jk/Tcllu5W7Zet7x87iG4aQUmOnc6YNvqVw
5Vwkn8sWt64IB76Rj7ZI+YNtSpAEQd38la5xh7Hwcog+hCYjFrMJxrCHfRWotGqh
A0+p7CS11IJN0ZIem8s6nbZKnEGV9aQBGVhkKTUyEuRDLJnwQzGeWwfYjVCcN+ce
cZrn7WUcnAW1qO00LZ/GzhiHplOefFrpTiyAhgdyYcwAyF2n7pjmT1fhwZvPrGDe
Pjd0abtMdAy3ZDLzzCtUNgeax3vDfYRYRwWyWh82fL3luJtIo/W6GliyewzO5BMq
h8xjjWOLwExtKIa9tTWxrCbktd2+z19PHy4nNsH+yxyG8W+29t91nc7drhhlgjv5
+J721LBHKraAOoDMGEVMITZ6Q8XgZJll6tlKHe/JzScxoL84DFxZlyOKS/AqICbQ
iCUMhVL2
=TgPG
-----END PGP SIGNATURE-----