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

Format: 3.0 (quilt)
Source: boolector
Binary: boolector
Architecture: any
Version: 1.4.ffc2089.100608-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/boolector/
Standards-Version: 3.8.4
Build-Depends: debhelper (>= 5), picosat
Checksums-Sha1: 
 7e492040fe35224729f723ee7c97c4d877c89479 227312 boolector_1.4.ffc2089.100608.orig.tar.gz
 7f6d3154f8f76a0ad34a66846d74e813787c3494 4097 boolector_1.4.ffc2089.100608-1.debian.tar.gz
Checksums-Sha256: 
 12fe3ee16a45f3cd81f988f72f6af6eb1114ea2ed9adbfd71c937fa411069b97 227312 boolector_1.4.ffc2089.100608.orig.tar.gz
 38d9594c32b68f681de805546fac5c236be86340d174a59ce7e21f4aca7d3d5e 4097 boolector_1.4.ffc2089.100608-1.debian.tar.gz
Files: 
 a2cbcb6b3d3d600eafc4607fc40ae544 227312 boolector_1.4.ffc2089.100608.orig.tar.gz
 9b85b851a10cd057d1a78e3c09b3437e 4097 boolector_1.4.ffc2089.100608-1.debian.tar.gz

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

iEYEARECAAYFAkwOwboACgkQvx6dH3bVKsShOwCfcit4Xgmy7BILCEMd/w+uZwFS
4aUAn0Li+cUzyzUfaZh8gHWA7H5DpF7F
=b5zf
-----END PGP SIGNATURE-----