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

Format: 3.0 (quilt)
Source: boolector
Binary: boolector
Architecture: any
Version: 3.2.4-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Michael Tautschnig <mt@debian.org>, Andreas Tille <tille@debian.org>
Homepage: https://boolector.github.io/
Standards-Version: 4.7.3
Vcs-Browser: https://salsa.debian.org/science-team/boolector
Vcs-Git: https://salsa.debian.org/science-team/boolector.git
Build-Depends: debhelper-compat (= 13), cmake, libbtor2parser-dev, minisat, zlib1g-dev
Package-List:
 boolector deb science optional arch=any
Checksums-Sha1:
 eece967e0c7cdb770178d736214bca5c3abd7911 1567983 boolector_3.2.4.orig.tar.gz
 e0fe63d370f5d72c780147bd3e637f9d4f65f219 3276 boolector_3.2.4-1.debian.tar.xz
Checksums-Sha256:
 249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf 1567983 boolector_3.2.4.orig.tar.gz
 a16d5c2b0eb83470cf24f744db3e038ad7b738652ba976c48db7702aa5864cb9 3276 boolector_3.2.4-1.debian.tar.xz
Files:
 8dc8026d5d3801bffecc262c6b878abf 1567983 boolector_3.2.4.orig.tar.gz
 b913d8cc4897284fadf79ad5786a9817 3276 boolector_3.2.4-1.debian.tar.xz

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

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAml8vfARHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtHzAQ/9HwaS2wUasXCQRN9nL853vK7w6emMX2Vh
7NBfF4QCSCXFE2dqE1knSBJ9pOuSHj+6tNCS75JNQ2Qgca0W91sRiesFyV/nPBuH
7BCuDSLhpxyqH1rtY6lMgV1SXenTumrNpYEvdbIzMkTMW4E4+ulPIqweV0+Sy7Y6
RmCAqVq83ff7c0HYRNnDWpWkn/Qbq5pTkW/TqMHI9A0kLxRaat1Uy4Eujg2Sizbi
7zJzX8KpYcOHsqFy04DU8KRjeOMii/0mpHi95E6k3lhNRru9+Hgn6ob/3+/wOsBN
qhDSKCJR0NNFEUJuOgkSxyBOrCHcOjnZ9tbgV2yXOrks3TTQBqiabdo0D5pCiHAR
7Y9PFYesygIy9thcLdW/LfJCk9Sgi/pZG1X6CZhAzHIyXKW3iFU9EPUYEfMb4DV7
99E/otaON64cZy66g3VJS1Idws6Jsw2VDNMOkUXuIi6LZDUgz+Y6rshyodjOGNtx
1Ofuu+iVVKoP3smE5hAGSRyArzwtutrWJxX5Yt2FI/3Cfm+KvDjTmJJZ6D7+9iAC
yfJEm0Qj582zMcVPkleMWZtrm1Uwm/ZmI7GPEv+7x7VA5c5nEtQ9nCQx5PD997Bn
QazYtzYZLyHAqpJ58RUcOaUAx1wg1BjCwWnhhEyfvl5Er2uvAALHBptXaBgNwLMW
BkKvLjUT400=
=jOsq
-----END PGP SIGNATURE-----