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

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.5-0.2
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
 b3c897c3e5f10b92afe1550574ef63c2a3ea47e6 16844 sat4j_2.3.5-0.2.debian.tar.xz
Checksums-Sha256:
 66ec5c9e5b277b5fc93a9930f7f5305b4cbd39d0e3f1a8e6fd2b6b6ac6b9c5bc 13748980 sat4j_2.3.5.orig.tar.gz
 6636fdad03c4ca6179f9a0832a7b7f8d940aefbdb1dcae274acf1ce1c73e656f 16844 sat4j_2.3.5-0.2.debian.tar.xz
Files:
 526e70e3810aa515f2235da1d01fd71c 13748980 sat4j_2.3.5.orig.tar.gz
 cb5e980fc68aa4e8626345c43f84fdca 16844 sat4j_2.3.5-0.2.debian.tar.xz

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

iQIcBAEBCAAGBQJYHQgiAAoJEPUTxBnkudCsklUP/0gVGjhJdC8V1BvbiFpzxYnx
SHUsg87ydE62Jfyht03HEiVKEi6F+CAjdMbfquOTxFVQhzjyKjyA3QJl2UQKmC3o
6miV/8aohlZ0B8dYfh7VMpnJrCuFm/aWgbiNTtXEcfdBqqBYrpI/Sc2PfI9HcXg4
6G/pJbxQwl9DoCweLc4AzDCVmgXwsxPvTd/pDU+8yiezzicUAg/KmceC4aLovdbc
fc3TLX0ywzehAnh130Qw5EHe0uMr8T57OPdEkasrhTv12b/q/8wGXThaZVn1yJqy
gqjqXKtPrzipmG1UcSXI4XIVGb/VSQWHOFKtNDIM5bT1ui5eIYPml3nZ1KKW7T6J
M6anr+zHzjHQ9fVOXaYU+bAm6VXTolKGvk3udPEd0A/q8zxLGPQUMXR6i6BaPAaA
70A9BwaThZECjy5A3uAP9+Byk6wB1mHnuDnveXAx5WQFLMm/djlI97MFFf6vEW28
a2FdzrQ9OMoE04BBmQMWMhhH0HWoJ+AIpftE2qpRVU7Fb8hqU6ytgnIS3tjvo4aY
5eXL/Ah4ItKmBwBxcv35tiOk7gqHz6MXNHuUKoZG2sHgL/MCD9fDjNXm+AQ+cBFe
MvyAHPZFc/JNCShCXWpL1DlwhW/RJdgroNgGtIRcC2KLWiMVIvyBbbOgmzyve+gD
GVifvSuKgVuFYrK6TVZU
=JpIT
-----END PGP SIGNATURE-----