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

Format: 1.0
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.1.1-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.sat4j.org
Standards-Version: 3.8.3
Build-Depends: debhelper (>= 6), ant
Build-Depends-Indep: default-jdk, libcommons-cli-java, libcommons-beanutils-java, rhino, junit4, libjmock-java, ant-optional
Checksums-Sha1: 
 8764b1177f0fe1eeb5cb2124054966344ed7eb91 13745050 sat4j_2.1.1.orig.tar.gz
 3172e070fd9d3fc59f001311b8b54974fde1bea9 9279 sat4j_2.1.1-1.diff.gz
Checksums-Sha256: 
 b66a9acc1633c94fef5ec2565ca30a5e9e6136566c34625a6f8ee95df1b6e97b 13745050 sat4j_2.1.1.orig.tar.gz
 62721753b5beccb2c74fd81fb212493445e74c4e8e7b19169b778a04befff43d 9279 sat4j_2.1.1-1.diff.gz
Files: 
 90fc557b5f38765305661c173b9322ea 13745050 sat4j_2.1.1.orig.tar.gz
 e250cb90dd82e7c011fbee937ef034fe 9279 sat4j_2.1.1-1.diff.gz

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

iEYEARECAAYFAkrv9eoACgkQvx6dH3bVKsRg7gCgy8LYw7cqSFSY94YHgz/CZw4D
ng0AoPZBJNmf5mpm/mYMEyAXWScmcZY6
=TrHi
-----END PGP SIGNATURE-----