-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: minisat+
Binary: minisat+
Architecture: any
Version: 1.0-5
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://minisat.se/MiniSat+.html
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/science-team/minisatp
Vcs-Git: https://salsa.debian.org/science-team/minisatp.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), libgmp-dev, zlib1g-dev
Package-List:
 minisat+ deb science optional arch=any
Checksums-Sha1:
 64205f7144157469839994295b95ec9761466f85 79990 minisat+_1.0.orig.tar.gz
 e8c9ff4f550fb2196469fd861ed8bfc711e03d61 4448 minisat+_1.0-5.debian.tar.xz
Checksums-Sha256:
 f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b 79990 minisat+_1.0.orig.tar.gz
 033e711d987d3e7df1036a9e93f3d918ac7b977ffc0aff0360940ef64518da91 4448 minisat+_1.0-5.debian.tar.xz
Files:
 a5910ef8bea269632eff74b54f07010d 79990 minisat+_1.0.orig.tar.gz
 822198fb8a890c6b9a64ad20a0c4aa4c 4448 minisat+_1.0-5.debian.tar.xz

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

iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmcG894RHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtE3Ug/8DC0dv5SCj21e7BR3UrfHnfZwHJ8PHDoV
vTRZQdm69g7Fbyfzce+75rZm86WF8KRfcYsqhGKDycwgToyLCkX+zdheIAMQLHUU
c9p8wU1v/NFmwFLyEKY0vlcQvCyUJk1URqruRWxOF9Lz+Wr8zWJC4GNp3Mr2Ka7o
cZ49izP9hcsp72odnFgGOAUzKUiE4vMGmYVhZZi0rEUE1oJmh4lKyaz858fMcypi
0dM6NL6tMrcgTFRRAWB3y8mZahrLPt1mWLw+FJcZXCe/wyizCvbeVWvWOHHKzBbR
CyGIXXMEYvPFia68xVJKB8xzMtM6gr2KyVmZdjeU828l8IzDu4ieZSnLj9jErhX1
6Ml0A6wea68W4dfDCE4RcW3rWifZQB2W4tPTwim9fL1tO1D6MqH7yEhTbgoB64YZ
tbFVpts3wrtc547NIPMezuUJwycEP5f5vFl3KN+EFZEaISzLcczPbcWWmlbEadeZ
XkWyiNdvM4nJFbaz7hm7K/lRnUogVt3cVy31HIqYTa8hUQ3yzdxmLzF/WAdsfEvu
5dr22MDnwrMBj3p/49OfMQyiKyL9SsVd5LbyGY0TjivQJ/YgZm+m4Rrkw20ICjdO
HTKjtbrhcwYI6d/5ETdrsOQWO3A6txwSVBTyuRLXzIIYaxyqdqfjJbbZZpibIvvM
E2aYANe+5+M=
=+Ysu
-----END PGP SIGNATURE-----