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

Format: 3.0 (quilt)
Source: cadical
Binary: cadical, libcadical-dev
Architecture: any
Version: 2.1.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.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:
 f2c90120e8f60cb08199a32bcb9c9406bbf76443 731545 cadical_2.1.3.orig.tar.gz
 463fdcb4d232697c8354aae8916df81db541fc8a 4132 cadical_2.1.3-1.debian.tar.xz
Checksums-Sha256:
 abfe890aa4ccda7b8449c7ad41acb113cfb8e7e8fbf5e49369075f9b00d70465 731545 cadical_2.1.3.orig.tar.gz
 a1325f2075be7f9f84deb5fef891a2c5161ce547d6e894bdc94eda43fc0f8a14 4132 cadical_2.1.3-1.debian.tar.xz
Files:
 583258bd84b3532e5b0f46055db01b70 731545 cadical_2.1.3.orig.tar.gz
 a5040dcdb395ea09cdd01fb5006b6a04 4132 cadical_2.1.3-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmks2z8PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iirTsP/0DmaMtwhcqjBUESGWLHseohOXHVO44SKhVv
uN2TrJyvRcxFY5G4AAfQj7FyclkSc+VO0JECofnfqdu52HoEvGW0mOycX7qzfKdg
Yrgus9nc1IGotQmefY5hrY6r1807PmYVHeI5ocIcQhl3Zlshw+UK62FepqXyAKyv
QDqjf+ZfpfxTVamr4Im2jpfX5BjyXk6josZe2IxnZK0laLLbX17D3vDHP64JdxwP
W+uiUmoYsgS6vV7ys5oE3+hmI78xe5oynYl5eZNItLq2cyL4tTttpAUbKI66ui3W
Z1O8nUuTuHf78q2N6Btz6F0jnjcVKZT3tWhhnld8HxzcXp4AOVJC/7dS+/wmyNE/
ej+7L3fdA2ElMix5Kk+OCJtpJ6CMoDZsU0C2liMG5Iv5uZj9ndnQBXLXvTQurTPS
nWvb2Ihv/6+nv1Q2h5/EtE1cPX0BfRNwNcOoSfs0IHuEJXImEsux/exTpTzb0XdH
9N9rfrWGn92Qnee88AevocPtBkVHsDImaUxdAa1+PNrvWWKg3TH0cryxsNNcNUvO
ylE2xQ+Umr2/dl+Qcjg/C2ypwdfi2azh9sYRFSA1i8LgtwV/zYsmrdyAerZE2cPn
ML5mhIz6f9zSLz0LXF6IWap8t6Wvc8yLje30T8/vYAchNwndEP6mmINqKL81dOQY
fXB2x5oj
=L7v0
-----END PGP SIGNATURE-----