[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#584542: marked as done (ITP: boolector -- SMT solver for bit-vectors and arrays)

Your message dated Sat, 12 Jun 2010 16:32:07 +0000
with message-id <E1ONTct-0003oW-IH@ries.debian.org>
and subject line Bug#584542: fixed in boolector 1.4.ffc2089.100608-1
has caused the Debian Bug report #584542,
regarding ITP: boolector -- SMT solver for bit-vectors and arrays
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
584542: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=584542
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig <mt@debian.org>

* Package name     : boolector
* URL              : http://fmv.jku.at/boolector/
* License          : GPLv3
  Description      : SMT solver for bit-vectors and arrays
Boolector is an efficient SMT solver for the quantifier-free theory of
bit-vectors in combination with the quantifier-free extensional theory of
arrays.

I'm just about to prepare the package, so expect an upload shortly.

Best,
Michael

Attachment: pgpiuGoMxD8ZZ.pgp
Description: PGP signature


--- End Message ---
--- Begin Message --- 
Source: boolector
Source-Version: 1.4.ffc2089.100608-1

We believe that the bug you reported is fixed in the latest version of
boolector, which is due to be installed in the Debian FTP archive:

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



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 584542@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Michael Tautschnig <mt@debian.org> (supplier of updated boolector package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@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-----

--- End Message ---
Reply to: