-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

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)

iQIcBAEBCgAGBQJMbFt5AAoJEBWetcTvyHdMlZMP/Re1t7LpMG1u95HQxr9QGrOB
XWiayYok8tA4mqhYhF2fxOWA2QLVTudCTM+SlTLEeg8fd40zDICMedLWujOPBRio
eFjb7EpY42x58g1uuAC4fQaaEihTswGTm6pPOl9k0m8hq5lL9+gc7W2nYyUAyvh5
hBOYw0n8D2ZcG22pOs+JwFBueKwHIjsqqoB6TRuBnegOcaIHhsA6TNwLPoZrGM/V
uhUfvIy69bSWPJemecx42O+avstbC1fJcK54GVINVC8mrReEz2wtGXYPbKR0xr1+
lAOlBfedc8EiaGaCq+jw07anbh3aWGW9Q2sLnuz70IX1UGDP+RIPuyyZzofLYvWz
yxzkTNI0m7B1QNayOH/htp9Gn9upzRaR1B2TV4c7cEgBDi9PcEtnC0Of9BGxHsIc
fN+loQbHavrEh2PiJgjgHcg+OwIyoiHaBrdADS3jwwaoD9T/G5IL2UqTgWP/OF7x
l7IgvPpXaQE9a6HEPEQq5N7WQlA/I5FIkOr/JhynYhmZa+pV3/+Tb8oVqAB17bye
gSWiOOCe+ixwLKELvvCslxUVvcJquM5acdExRB5n17nvupulbCQ+pS3dDVKTDoJ5
HW2A6jiueBM2znxm7K+duQ2lUfXmzeOaepSEaQUc/IiQDjJh1zPKMFJSSHcsnUsd
xNdCYNlyP1L67S76AVzk
=/5+Q
-----END PGP SIGNATURE-----