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

Format: 1.0
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.0.4-2
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.sat4j.org
Standards-Version: 3.8.0
Build-Depends: debhelper (>= 6), ant
Build-Depends-Indep: openjdk-6-jdk [!s390], cacao-oj6-jdk [s390], libcommons-cli-java, libcommons-beanutils-java, rhino, junit, junit4, libjmock-java, ant-optional
Checksums-Sha1: 
 da8009ff348e09d156ceca2934438531a933c36a 13200366 sat4j_2.0.4.orig.tar.gz
 764c46d99c088609eb2bad01d799c9121f645812 12323 sat4j_2.0.4-2.diff.gz
Checksums-Sha256: 
 40f32b20d65cf56c5af461fcf90830c33d9b84c47aa7d855cae78f08304fa840 13200366 sat4j_2.0.4.orig.tar.gz
 85ec80059f0153d800bf63d7655900420492ec4e62d98ecd8952b0f84ec32be3 12323 sat4j_2.0.4-2.diff.gz
Files: 
 c1d005ff4ab5d13458bcffa1e9889f98 13200366 sat4j_2.0.4.orig.tar.gz
 4544bfebf98a8d68c14daeadcd3a736d 12323 sat4j_2.0.4-2.diff.gz

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

iEYEARECAAYFAkkOCHQACgkQvx6dH3bVKsTPZACgh3bBwe5hbPfSZuBRhwrsM1ge
8CUAoNmLrDsGKcsjykJ7tY+na+pxbfoe
=imFs
-----END PGP SIGNATURE-----