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

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.2-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.sat4j.org
Standards-Version: 3.9.4
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: 
 f21ce851c8421f8da431c114c3343380159770d5 14408289 sat4j_2.3.2.orig.tar.gz
 fe29dbfba08ad73c59be6e786210c6d8f95ad8ee 11753 sat4j_2.3.2-1.debian.tar.gz
Checksums-Sha256: 
 0b835f8ebcab0fb124f4ebb39d0af97ab7368813e7bb21f69ecaa00c0685766a 14408289 sat4j_2.3.2.orig.tar.gz
 7d0af53859dd2b1f555d36c935f99faefc24be39e78e9e1f5896b2563db710d9 11753 sat4j_2.3.2-1.debian.tar.gz
Files: 
 48ea821395ac61a6780de8c9cecae363 14408289 sat4j_2.3.2.orig.tar.gz
 abc4835c0d29ab31b0623b419d6f3f02 11753 sat4j_2.3.2-1.debian.tar.gz

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

iEYEARECAAYFAlC7wTMACgkQvx6dH3bVKsQ4CACeMpzWbjaBbUoLQPx3/L4PkzVD
sWkAnj481lHeXuk/YXGw4e4y3BtUwMar
=PRi3
-----END PGP SIGNATURE-----