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

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.5-0.3
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.sat4j.org
Standards-Version: 3.9.8
Build-Depends: debhelper (>= 10), ant
Build-Depends-Indep: javahelper, default-jdk, libcommons-cli-java, libcommons-beanutils-java, rhino, junit4, libjmock-java, ant-optional, libmockito-java, maven-repo-helper
Package-List:
 sat4j deb science optional arch=all
Checksums-Sha1:
 d28ff15295ec39f66fdf45679dcec6c5fafa2101 13748980 sat4j_2.3.5.orig.tar.gz
 4c5fa6a850e54a433a4607f883f9fc398789f791 17140 sat4j_2.3.5-0.3.debian.tar.xz
Checksums-Sha256:
 66ec5c9e5b277b5fc93a9930f7f5305b4cbd39d0e3f1a8e6fd2b6b6ac6b9c5bc 13748980 sat4j_2.3.5.orig.tar.gz
 83c0ddfba88b10adc900cc976c393a2f9dd2141a96facd98b34661a571a79986 17140 sat4j_2.3.5-0.3.debian.tar.xz
Files:
 526e70e3810aa515f2235da1d01fd71c 13748980 sat4j_2.3.5.orig.tar.gz
 8020f66d1a2eb30f070491f66f649603 17140 sat4j_2.3.5-0.3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQKjBAEBCgCNFiEErPPQiO8y7e9qGoNf2a0UuVE7UeQFAlrQ4gFfFIAAAAAALgAo
aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEFD
RjNEMDg4RUYzMkVERUY2QTFBODM1RkQ5QUQxNEI5NTEzQjUxRTQPHGFwb0BkZWJp
YW4ub3JnAAoJENmtFLlRO1HkhJsP/0zPS1O/edM69d1a7ZSA26LiLz2XwO5UzVOI
jmjlm258TxjAQzeeBoBkqonFaRUHWCWnDorz0Rpa6FN0jtgEGDvfjTRXXunXlr2U
OCkDwOvfGozo0/TK2tXvfnyToxeMp4RlFiIdFpQlI9gHxun+HFmjwHvGKZ950Kpp
qpN6+jxAjhrUuqi1asjEDP0kpxNI4ZSBaeBj/smtvmB8ZKeHDDLvTmHx8AJsKMkx
VYSbfstEV9C8YxgXe3+6O0x7TQFsrBaBHO7P26bfsB4ntgAXS6eJ6tiafeVyG6rL
ya/hqwyJw8DoLQIscckRr3A/A9NMAxdYnpIjS6lbXwjuDm8jj50fml1qKvEjzNHi
bZfOBfBpAfW98gJC2PgU44wEwzFa05jAQZxdyI/mF70e+wiIWJ4jDL2HRUnkaP0Y
6cDX35vGel7CMmqN3pbiCNMaS5dbfUlB+8KPwo9JzWN3Dp60nSyt4Ha9D302sK9V
vUTnQa8YDKVi2F2sJLqlqn5I+XilZoX32Orjq3QUeMbjnBSGTPi+fikimiISxULO
gNuPdkyc5JaEcdteawnQBLY1e7aM3zTL0BYxHaqzqlpR2K1Hgr7/9KSn4mi9CesT
f+t2HwfRqBezrbOfwHbdb7YWxBkx5ZLoxitJO7NUZKRo+OiT1g3U+tyPHexVv1YW
+BYTwG/9
=EM6d
-----END PGP SIGNATURE-----