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

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat
Architecture: any
Version: 1:2.2.1-7
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://minisat.se/
Standards-Version: 4.6.2
Build-Depends: debhelper-compat (= 13), libz-dev
Package-List:
 minisat deb science optional arch=any
Checksums-Sha1:
 38fc59a6a400127ae51e8fc7eb9cfd27e1b85d20 44229 minisat2_2.2.1.orig.tar.gz
 2ae30d30f904e916755f1463816314ce9167044b 9816 minisat2_2.2.1-7.debian.tar.xz
Checksums-Sha256:
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 6c17862fb9410d4158ff5f69ee0dcbd81bcc0b1c3ceea48778c4265b2c5f0559 9816 minisat2_2.2.1-7.debian.tar.xz
Files:
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 3b5f980249f996c339407dcd671af139 9816 minisat2_2.2.1-7.debian.tar.xz

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

iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmXXKekOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTELVhAApa0QE/iWYg0SNDkViVKWpBU/ocry3O6wmH+M
wrC2MOjypeK0OjbfC7DkjDe7D6YXQCH249rwjZgEbGsOdLN4vd6Yh5ZmYA6WA5sQ
+DEca1Q8T25E2+OrNBx3blrTYU55lA4UFC+2gHu2fMpMEpR7c03mKi7eVduFDmTz
YS+9HP4cR55+kUXmJQJU67oy+FrhCa9ilLQyDPR3wmr5jAIP7+mIOuT9IZ2f15ed
axThaow8FncUGIDKftBDv+J3tXgcibecOx1NiKnWETCT59aLWF5ZN+YC9X1UlOVS
7n8T1Vk7OilNDWrUKS3Ufrgay/KJvMkOYfBE1Indg147nT7TgbEEdgZQHJjVIwNI
300NkSVPXeevRWSkrS9gyK2CgUeLJoxeUYXRGfxutAtoyjUWl33wm5zliPlbKgSK
YURzh5ENlHyYwj3oU5OaNQ1M8lHBvZwNDJuGN1NZto2GcmUKordlM5oMPmcpVnq0
qr+rjNlKtucz99CUcbVoTdTyn6tN5HyxAKOEnFH1iz4pYQSQuSvgMKepsfn1GUA/
+E9RdsdkgygciNWjqbzvCFRrgYPqbq/C5WyAVa0FSiUhGvNffDUQ58dR/ikrCzjp
ny81ZrN9ZoPnDgc+L/J74hEcOhCeWJ6jfMAloA3/Ew2Umas1SSR9ud3NuOHw/pPf
Hr6ELwo=
=UxD/
-----END PGP SIGNATURE-----