Back to boolector PTS page

Accepted boolector 1.4.ffc2089.100608-1 (source amd64)

To: debian-devel-changes@lists.debian.org
Subject: Accepted boolector 1.4.ffc2089.100608-1 (source amd64)
From: Michael Tautschnig <mt@debian.org>
Date: Sat, 12 Jun 2010 16:32:07 +0000
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1ONTct-0003oT-HQ@ries.debian.org>
Reply-to: debian-devel@lists.debian.org
Sender: Archive Administrator <dak@ries.debian.org>

-----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