<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: SHA1

Format: 1.0
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.0.4-2
Maintainer: Michael Tautschnig &lt;mt@debian.org&gt;
Homepage: http://www.sat4j.org
Standards-Version: 3.8.0
Build-Depends: debhelper (&gt;= 6), ant
Build-Depends-Indep: openjdk-6-jdk [!s390], cacao-oj6-jdk [s390], libcommons-cli-java, libcommons-beanutils-java, rhino, junit, junit4, libjmock-java, ant-optional

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