-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.3-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.sat4j.org
Standards-Version: 3.9.5
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, libmockito-java
Package-List:
 sat4j deb science optional arch=all
Checksums-Sha1:
 193adc3795b881c3b217658a168ec551f98b139c 15885743 sat4j_2.3.3.orig.tar.gz
 8af2833bcd06ffae07e0ac526a405bc1ddc166c5 10800 sat4j_2.3.3-1.debian.tar.xz
Checksums-Sha256:
 f7c1161416efdf14a1f09067f3c9672b9af5486584df86a0155bc7c947c776f8 15885743 sat4j_2.3.3.orig.tar.gz
 deb2a6ee2e8019738b60aac9b2290a76eef8f92bc2d95ea84441a07c8a886a44 10800 sat4j_2.3.3-1.debian.tar.xz
Files:
 33fcc3ba18a5e06c66cdda357e192d84 15885743 sat4j_2.3.3.orig.tar.gz
 251ac938693b41e7182f52e69c2f47f7 10800 sat4j_2.3.3-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJTru4jAAoJEKjvEonjOGdBvr8P/iB0i5WrlOrRvONoRwQ+MgKo
Lhgwdl6jCcTQl7KkcW5/b6Gnow3820A2dHLpw7llbQVPDmfex29NVEi5A0J/1+Hw
GSFiiwYBDodJlsXXK8RGADPQsZUT2ZF9+EHiDQ/guWyesDx4Xm1QUjKxmrJZpgG2
GcTeKwOl/gZo7zjMdJPel23R6gYJL8A6q2QB/WT+b1T0Al4hV58TSr3eHptBG+u6
eaxGnzLpHOuMr45vtFM2OtRBw3JMkTKk4oXfIr/ymaO0x7xNB55VdZ/sMHhZzwJN
WRtv1J/FAgp9JwgpWZRuGUzGLgwOICK+xF58Ah6hgBGE+pHt+UO5KUFHVlD9rvtn
Q+E5KzmU331qPMxMAZNYA39Tj3iuqCTQDvbW6bzLfrwg8y9ptp5z3rs1T87+Lu37
7BvfqMmVscLVqCQhCyRQtujxgQ8s9jPS7/bmJdTPtKEORUR5KXPuFdaQ5HEkjv9v
eAMejR0XJZBLJUEpnrcD4591cGovDu+FqS52doh8Unaaj61HcnhpBZLVtBtOoFGw
7ejyBoYN1EHE0hInQJTkoQEJNCTmgLvYYZl8yLH5odQKCZfI5orIqK/TJ0RbnVLP
iGcQOIPjADvXqijoFcjHXMBDKfn0Qh7DoPmm3KMptnoGQ/Q5gfhh/g6ambYU+uK7
ebybmz+Q5tyQtKBhvEcV
=ANv7
-----END PGP SIGNATURE-----