-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 09 Jun 2010 00:16:01 +0200 Source: boolector Binary: boolector Architecture: source amd64 Version: 1.4.ffc2089.100608-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Description: boolector - SMT solver for bit-vectors and arrays Closes: 584542 Changes: boolector (1.4.ffc2089.100608-1) unstable; urgency=low . * Initial release (Closes: #584542) Checksums-Sha1: 43f684db92b7db2039da1a9eaa5e1037b8645743 1124 boolector_1.4.ffc2089.100608-1.dsc 7e492040fe35224729f723ee7c97c4d877c89479 227312 boolector_1.4.ffc2089.100608.orig.tar.gz 7f6d3154f8f76a0ad34a66846d74e813787c3494 4097 boolector_1.4.ffc2089.100608-1.debian.tar.gz 13a93c38ce249909cc68eae72f0c39119472023e 138342 boolector_1.4.ffc2089.100608-1_amd64.deb Checksums-Sha256: f460232bff87791cc1c1e6fa78c2498cf53f5905c13e143eee6112e19275d510 1124 boolector_1.4.ffc2089.100608-1.dsc 12fe3ee16a45f3cd81f988f72f6af6eb1114ea2ed9adbfd71c937fa411069b97 227312 boolector_1.4.ffc2089.100608.orig.tar.gz 38d9594c32b68f681de805546fac5c236be86340d174a59ce7e21f4aca7d3d5e 4097 boolector_1.4.ffc2089.100608-1.debian.tar.gz b98d59d6ce9904440f19bcbd83a6eee660bd51095291251dc0ce1ac733e4d909 138342 boolector_1.4.ffc2089.100608-1_amd64.deb Files: 665e047512896ad0874ee5b65580f2f7 1124 science extra boolector_1.4.ffc2089.100608-1.dsc a2cbcb6b3d3d600eafc4607fc40ae544 227312 science extra boolector_1.4.ffc2089.100608.orig.tar.gz 9b85b851a10cd057d1a78e3c09b3437e 4097 science extra boolector_1.4.ffc2089.100608-1.debian.tar.gz 213251b209c3d2780ab97a2f1aead902 138342 science extra boolector_1.4.ffc2089.100608-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkwOwb0ACgkQvx6dH3bVKsTg8QCePg+nhitYlZL6RDGqCRCZyibz dnYAn1dpYljZypCm8VxWcqMGiE8WKy5e =+hJD -----END PGP SIGNATURE----- Accepted: boolector_1.4.ffc2089.100608-1.debian.tar.gz to main/b/boolector/boolector_1.4.ffc2089.100608-1.debian.tar.gz boolector_1.4.ffc2089.100608-1.dsc to main/b/boolector/boolector_1.4.ffc2089.100608-1.dsc boolector_1.4.ffc2089.100608-1_amd64.deb to main/b/boolector/boolector_1.4.ffc2089.100608-1_amd64.deb boolector_1.4.ffc2089.100608.orig.tar.gz to main/b/boolector/boolector_1.4.ffc2089.100608.orig.tar.gz
