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

Format: 3.0 (quilt)
Source: cadical
Binary: cadical, libcadical-dev
Architecture: any
Version: 2.1.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.7.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
 de87ee2943b7a071cfa4488f0a003223dc0e3f82 4620 cadical_2.1.3-2.debian.tar.xz
Checksums-Sha256:
 abfe890aa4ccda7b8449c7ad41acb113cfb8e7e8fbf5e49369075f9b00d70465 731545 cadical_2.1.3.orig.tar.gz
 35f5be306d270a5cc65cd6f8b2702d72c7c6cb3715412a63cc304ba07a5fbf3c 4620 cadical_2.1.3-2.debian.tar.xz
Files:
 583258bd84b3532e5b0f46055db01b70 731545 cadical_2.1.3.orig.tar.gz
 a6ad8ac455029156bb48b5a8e1c07c56 4620 cadical_2.1.3-2.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmk/YVEPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiHEQQAKWKOi5Wnr0wOa11jliK47ElGpe6w9Ku8LqW
kJloDAh5CsJQ9u9P/DZbamSE3bpnxH3J26aR+JX6Zw1e+dKeQh0s8Gs7JdFccFDh
/qKPz8TpoLnCiVUnXoWSghiB7+65qjFSNFgxbNAZa2908sPm8CML5SjUFargqyJc
9C+FgeeWSG0ToBRYEVMgj6iNSYKwUD+CaWBLk3ZS6s5hkF1WUXMEhP3MVPFcPooV
+cNmA5P7hHU+DwWC086mctQYlZMQsxAgE8HQx1KotpMbswPdKv8mZzfb6Za8X2KA
4E/xpap/hyUwpAqAmIx6lOBUvIY2HZmFbIyYzP0gp7TrJrz6ATSGV0OOdP5JkrMT
pUJ85Ed19tmZ5GGoNwh9VtxPOS14aoRDYFA8rxYdcSf2Lz4uZSwzJv8EoTHWSfm0
Kke336PVebxjCemFYAOixB5iXyVC2jzytB1bmQr8ZEwthPyVrB2yUyrBuhXX9CQq
aT3sdiGf7p08jxi+kWfjL2GiIMWPUwxa648q/LoQn8KLyQx5fkP2ciOKcebtxOdl
qoTSGqp/szu7cru16B5OmquAl+rXUVMbtRR+7dDFStYgg0U1NvBi6g/7HWPLnafr
W7q80MVSDPyyixuiKbZx5khTOwqDUWc8NIL61+zgWL4O+MRr0uOPiGJa2B6VGKLA
u29ARi5J
=7sft
-----END PGP SIGNATURE-----