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

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.1.1-3
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.sat4j.org
Standards-Version: 3.8.4
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: 
 8764b1177f0fe1eeb5cb2124054966344ed7eb91 13745050 sat4j_2.1.1.orig.tar.gz
 e58abc44b7cbd2e1d3f2588e94672c33beaba13d 10488 sat4j_2.1.1-3.debian.tar.gz
Checksums-Sha256: 
 b66a9acc1633c94fef5ec2565ca30a5e9e6136566c34625a6f8ee95df1b6e97b 13745050 sat4j_2.1.1.orig.tar.gz
 ca808285d6e903000400a47bfe04b2649d865282ce57d605df9212934b4c7bca 10488 sat4j_2.1.1-3.debian.tar.gz
Files: 
 90fc557b5f38765305661c173b9322ea 13745050 sat4j_2.1.1.orig.tar.gz
 d3da69504a256eddb0cb2fccf5dea6d0 10488 sat4j_2.1.1-3.debian.tar.gz

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

iEYEARECAAYFAkvErEIACgkQvx6dH3bVKsTd7ACgunDaEWnXLecYxrEYFr0jDGYd
eFwAmwQQ1DTwaoAzJBitrUVoFcL+t2Xx
=QXqg
-----END PGP SIGNATURE-----