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

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.2.0-3
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.sat4j.org
Standards-Version: 3.9.1
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: 
 a79bcbac929107a29254551fb18c5819558dffb8 13815399 sat4j_2.2.0.orig.tar.gz
 64a245c3f9e46a06e2ba5c2baec5719322a806ff 11189 sat4j_2.2.0-3.debian.tar.gz
Checksums-Sha256: 
 b4a6cacb4cfa6ec087cd6e2a5380a9029a5e8bd2543145a37f9b308bed2a79c5 13815399 sat4j_2.2.0.orig.tar.gz
 cc9cd8789f5356aca54fa0c53b0769708f7907ce6856ec10e9fabcfaf59462ef 11189 sat4j_2.2.0-3.debian.tar.gz
Files: 
 13cfe18f1f16d016bf43558945a7662a 13815399 sat4j_2.2.0.orig.tar.gz
 2221faf19bf9415936a83ddb8bf75878 11189 sat4j_2.2.0-3.debian.tar.gz

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

iEYEARECAAYFAkxpGtsACgkQvx6dH3bVKsRhvwCfbM6hRVaCYscrdefDj7kw3x73
Mn8Ani8kww9NTFqyKimwjn3fJ7YYdWWq
=JR9y
-----END PGP SIGNATURE-----