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

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.1-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.sat4j.org
Standards-Version: 3.9.3
Build-Depends: debhelper (>= 7.0.50~), ant
Build-Depends-Indep: javahelper, default-jdk, libcommons-cli-java, libcommons-beanutils-java, rhino, junit4, libjmock-java, ant-optional
Package-List: 
 sat4j deb science optional
Checksums-Sha1: 
 5a92ca19e56fccad8102b43dbfb025a46341ed30 13920474 sat4j_2.3.1.orig.tar.gz
 6f43dbbaa540574763744ad4833fcf55ef4ff47b 11606 sat4j_2.3.1-1.debian.tar.gz
Checksums-Sha256: 
 0d5bf44a715c7eda732336745e202e22a758e9580fe84f7fdef6317136b69245 13920474 sat4j_2.3.1.orig.tar.gz
 67c1fc1b41ab2c0d524c64e101d72acd7e13092c7a060c8c7ce38a270e450a26 11606 sat4j_2.3.1-1.debian.tar.gz
Files: 
 79c952e6fb2b8f8236d5f7ea96360a17 13920474 sat4j_2.3.1.orig.tar.gz
 ff0666d3cfbea2a25d515b19c650648b 11606 sat4j_2.3.1-1.debian.tar.gz

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

iEYEARECAAYFAk9S+sQACgkQvx6dH3bVKsS5dwCfXQCdhR4361OlUugUQD55svb0
AqMAoJjNpeE5pZAHfPvg8g56COGtQ4c0
=p7E3
-----END PGP SIGNATURE-----