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

Format: 3.0 (quilt)
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.1-1ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Homepage: http://www.sat4j.org
Standards-Version: 3.9.3
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: 
 5a92ca19e56fccad8102b43dbfb025a46341ed30 13920474 sat4j_2.3.1.orig.tar.gz
 2be03b9f1cf87a1a0803dcd873a130fab19157ee 11570 sat4j_2.3.1-1ubuntu1.debian.tar.gz
Checksums-Sha256: 
 0d5bf44a715c7eda732336745e202e22a758e9580fe84f7fdef6317136b69245 13920474 sat4j_2.3.1.orig.tar.gz
 37394f625003567905a6458e5ad98e1ed433583389b192187fcb1990025caf8e 11570 sat4j_2.3.1-1ubuntu1.debian.tar.gz
Files: 
 79c952e6fb2b8f8236d5f7ea96360a17 13920474 sat4j_2.3.1.orig.tar.gz
 05bd022dc8750ded3d35da4072fd9b68 11570 sat4j_2.3.1-1ubuntu1.debian.tar.gz
Original-Maintainer: Michael Tautschnig <mt@debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBAgAGBQJP6dpXAAoJEOZsd1rr/mx9IWAP/35EwzZ25kL0gjJwKMMRp5VG
GLEBcEbVuHYESj9eCTDqRVJ5ePsHJCcOCtQOA+eOOXuMV4OPhLonx56g5b0YgZAk
ZP1tag2NVOpxc+vJ5zRg1cLCuS2Ok6xnMaIaWLwk21bBC5IODmaGFfuVbSk8VV1x
C0IIxHK/ym8VVeqv/SLgdStonEXdW7sE2sxADNhPyLrljSVbaZFLUnqcC7DsOwEn
oSfgOTTFVHZBu9cFieoGL8gqmY++HfJsb2ppqWqoeES4hhbg6Wsx+Ejq79PD1icj
80odscSKAr9OKy1MLve8eY49hJ+WziBPMEefM1Nf9KDSk7lFZTgPVippZY56p9fN
dwDtf6cHCs7d78mDpfk+lGdMgTEmbr3cQhbEJ05c7cQYFOlK9IhA6dYnqkNzu/yD
lt6QqtBq2BJt/J4nhz3piJly4kAYjcdDZU34lrUiA4LLrs1LBoqFL4LmO9QDulwY
6OUbzfv3ubSNqvITZgC82A2llz0rpipwyswe6mgOi1d9zYGjmlAK+yhQCCR1jtoo
v0iMbngalUVv9UMWZIQtfcKcCnAiNg1yx/FCosNP6B+2nTelWQmUGXvK6PTfEscv
199HEtf+VUvoTvmUs8bvv/SRxmHPwKr5qNVZiLReZ5ha7X+9VfxUV0GdJg+1uPxh
vzMDxsgKWv1uVjsTgQHp
=HeBg
-----END PGP SIGNATURE-----