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

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.2-1+dyson1
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
 c168ca43b97e64615b30b2014a69e6d0e589158f 11674 sat4j_2.3.2-1+dyson1.debian.tar.gz
Checksums-Sha256: 
 0b835f8ebcab0fb124f4ebb39d0af97ab7368813e7bb21f69ecaa00c0685766a 14408289 sat4j_2.3.2.orig.tar.gz
 445605b4d327dc1e385c8b879d3deda0651f551841355f7a72046931d1e3ef65 11674 sat4j_2.3.2-1+dyson1.debian.tar.gz
Files: 
 48ea821395ac61a6780de8c9cecae363 14408289 sat4j_2.3.2.orig.tar.gz
 c6dfdea29c05bb4d4981b0ee7890c8fc 11674 sat4j_2.3.2-1+dyson1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (SunOS)

iQIcBAEBAgAGBQJSs1reAAoJENk4dT5ESh0UgGEP/2HbFV/LczczycPnsqdUFSs8
JpkvKmxcK4OaO4AwRb3aR1+3CqyIJ1lspYz/L73qtOgqb746rJ7G7vugFyo/ZTFC
8uNr8bjStoDK0KLYD9QRxEbmt8zuGVfw4BLAmpiMgHcjAqTs1TC7TAXl4aEGNCVv
cW4JHl0SUJfWyYnYe2bLyDX5oCzMX7qx2dmKPfQ+sjTf3jsEAuoZH/A8MT876471
XlT8WNfc5LEn1w/tKbmAr4xWHcgJMHU3V0ZEJn6GQ61Noj7XoSSyPk9vHl4NjbP8
frC4k0sOq0YrkXZIDtCM1sn6eYCeU1VAmDN3qZcl+7Dp/OUnbCPgjgozEuPdJTuw
8sJAxKCM0+fE991crZWP2r5fFLvVhEabDKX19tapY3LB6GjCUICrMNyUvQz6+LX3
93oJDYydUJGY3yYV/MUbs3+M0WGs9e6mZQfPYWta+nii08dNkBEhJuTrB5Oxr+QE
Z2oQ5OWYWE5pysAzx0Kuo7rMog8O8TmmPU4xZeM0Q7UChrurXO/HHoRnUtnPrwrv
7ahGsS+/PV+hfKdxrqKJ3Rxr2ThNkgHTFvbkczlHf5hiXX7tEIsb4nJvz+3NHBdX
yUnCX7V44Zn5XXB2arZ1oodgaEVTvpSB0HE5pT9zYg0tJrhvACdUS6AbreF55vu5
5SFnuwmfGAG9yB1grPX/
=Sbkv
-----END PGP SIGNATURE-----