<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat
Architecture: any
Version: 1:2.2.1-8
Maintainer: Michael Tautschnig &lt;mt@debian.org&gt;
Homepage: http://minisat.se/
Standards-Version: 4.6.2
Build-Depends: debhelper-compat (= 13), libz-dev
Package-List:
 minisat deb science optional arch=any

</pre></body></html>
