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

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.0-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.sat4j.org
Standards-Version: 3.9.2
Build-Depends: debhelper (>= 6.0.7~), ant
Build-Depends-Indep: javahelper, default-jdk, libcommons-cli-java, libcommons-beanutils-java, rhino, junit4, libjmock-java, ant-optional
Checksums-Sha1: 
 86e147144cb51f61bc4b5536a856ab10ce587737 13832168 sat4j_2.3.0.orig.tar.gz
 cbaa5b0629521947288b9ff46cdedecd0190a455 11337 sat4j_2.3.0-1.debian.tar.gz
Checksums-Sha256: 
 8d3f774265c653563c87442dbe8f0d0aebbfd5a60784d61572b57d7934fc1b84 13832168 sat4j_2.3.0.orig.tar.gz
 fa74acb496d6601b5408b760a31ff42212b5ce7519dec66fb9d7b8bb1074b5e3 11337 sat4j_2.3.0-1.debian.tar.gz
Files: 
 2d37e27f91f104cbe36eca60ebf96344 13832168 sat4j_2.3.0.orig.tar.gz
 048b50b79e213be0fa28b1c9b73c6c59 11337 sat4j_2.3.0-1.debian.tar.gz

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

iEYEARECAAYFAk36MTIACgkQvx6dH3bVKsQgIwCgiPNRuHrnDMb9PXigpRyxgjhc
4DIAnRgekKyOohl8wsVPKUVrbMKV8AT4
=5mhk
-----END PGP SIGNATURE-----