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

Format: 1.0
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.0.5-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, junit4, libjmock-java, ant-optional
Checksums-Sha1: 
 65d3a770f34c8718f6176611d9010d72d283ba99 13217481 sat4j_2.0.5.orig.tar.gz
 bd6fd519a3f86452fac39617fecf1ddbb2a03389 9070 sat4j_2.0.5-2.diff.gz
Checksums-Sha256: 
 33037171e87d06f618966a593be0fda3c23c2d096e00ea83778f17cb15033d8e 13217481 sat4j_2.0.5.orig.tar.gz
 304d6d71c7394ebec7e3611aa11a1b28cdda9f89343ab163b4759af41a08aebb 9070 sat4j_2.0.5-2.diff.gz
Files: 
 276f43df26479a3a3eacf673b53bfeea 13217481 sat4j_2.0.5.orig.tar.gz
 ebbf79231f475ffe042783143a66ad1a 9070 sat4j_2.0.5-2.diff.gz

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

iEYEARECAAYFAkmZV44ACgkQvx6dH3bVKsTdOgCfTtzfD1Vgi+M8tHwbzRFrWX3z
gyUAoKtCBOr6fMJFtBqjjQjf1el8PrZb
=vMDj
-----END PGP SIGNATURE-----