-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.0-3
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.sat4j.org
Standards-Version: 3.9.2
Build-Depends: debhelper (>= 7.0.50~), ant
Build-Depends-Indep: javahelper, default-jdk, libcommons-cli-java, libcommons-beanutils-java, rhino, junit4, libjmock-java, ant-optional
Package-List: 
 sat4j deb science optional
Checksums-Sha1: 
 86e147144cb51f61bc4b5536a856ab10ce587737 13832168 sat4j_2.3.0.orig.tar.gz
 4ae484dad21f02eae0da5708a390f2a21da03d40 21786 sat4j_2.3.0-3.debian.tar.gz
Checksums-Sha256: 
 8d3f774265c653563c87442dbe8f0d0aebbfd5a60784d61572b57d7934fc1b84 13832168 sat4j_2.3.0.orig.tar.gz
 9dfa83e3987e7e941f8f7988cb54e51477766f556d859c0e78a1cad36d68f961 21786 sat4j_2.3.0-3.debian.tar.gz
Files: 
 2d37e27f91f104cbe36eca60ebf96344 13832168 sat4j_2.3.0.orig.tar.gz
 6cd96788692ce54f850bcec11e800bbe 21786 sat4j_2.3.0-3.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAk6lRKIACgkQvx6dH3bVKsTGsACgixwgxau0rE2SIzDlcE0yBiSa
fOIAn0GxMV3EVR58tIsoikqgSMXasVcc
=n5NX
-----END PGP SIGNATURE-----