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

Bug#757192: marked as done (ITA: cvc3 -- Automatic theorem prover for SMT problems)

Your message dated Sat, 27 Sep 2014 21:19:33 +0000
with message-id <E1XXzOv-0002sd-CH@franck.debian.org>
and subject line Bug#757192: fixed in cvc3 2.4.1-5
has caused the Debian Bug report #757192,
regarding ITA: cvc3 -- Automatic theorem prover for SMT problems
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.)


-- 
757192: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=757192
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- Package: wnpp
Severity: normal
X-Debbugs-CC: mdeters@cs.nyu.edu

--- End Message ---
--- Begin Message --- 
Source: cvc3
Source-Version: 2.4.1-5

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

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 757192@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Morgan Deters <mdeters@morgandeters.com> (supplier of updated cvc3 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@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 27 Sep 2014 12:21:27 -0400
Source: cvc3
Binary: cvc3 libcvc3-5 libcvc3-dev libcvc3-5-java libcvc3-5-jni cvc3-el
Architecture: source all i386
Version: 2.4.1-5
Distribution: unstable
Urgency: low
Maintainer: Morgan Deters <mdeters@morgandeters.com>
Changed-By: Morgan Deters <mdeters@morgandeters.com>
Description:
 cvc3       - Automatic theorem prover for SMT problems
 cvc3-el    - Emacs mode for CVC3
 libcvc3-5  - Automatic theorem prover library for SMT problems
 libcvc3-5-java - Java bindings for CVC3 (bytecode library)
 libcvc3-5-jni - Java bindings for CVC3 (native library)
 libcvc3-dev - Automatic theorem prover library for SMT problems (development fi
Closes: 756524 757192
Changes:
 cvc3 (2.4.1-5) unstable; urgency=low
 .
   * New maintainer. (Closes: #757192)
   * Fix clean target, resolving ppc64el FTBFS. (Closes: #756524)
   * Update standards version.
   * Fix dep5 copyright.
   * Remove Vcs-git and Vcs-browser (not available for CVC3).
   * Now lintian clean (with some overrides).
Checksums-Sha1:
 49e14810b2ee738fca0a1bad8b9e0f14afd57c8e 2081 cvc3_2.4.1-5.dsc
 572fbc0fb924e63981e5ad9246897be3726eb1a4 10148 cvc3_2.4.1-5.debian.tar.xz
 00c9b9aa7818d11ca3532367dc46717f733398d3 70952 libcvc3-5-java_2.4.1-5_all.deb
 ec415d00285f0e58cf90d4601b50e93895996459 13974 cvc3-el_2.4.1-5_all.deb
Checksums-Sha256:
 3bd53ffae5c033f67ced52a81027d44647259013d7451515559aeb6bde226433 2081 cvc3_2.4.1-5.dsc
 5552770a74dbbd4822d959de7a3726f1a00c06e10bb8da2389e741b1c9bd3da6 10148 cvc3_2.4.1-5.debian.tar.xz
 42af3fac88380a9545a4a82332955761e7d5350c0d87e97b782f43ed8132d698 70952 libcvc3-5-java_2.4.1-5_all.deb
 089140a547628d2d0f914e291ff9191751ff66b5c58b624d4383c0ed36d59f42 13974 cvc3-el_2.4.1-5_all.deb
Files:
 e4776d04b45c54b3b5c46cf9efde86c3 70952 java extra libcvc3-5-java_2.4.1-5_all.deb
 eb8afa62fa1e23f93ba9df85ed785118 13974 math extra cvc3-el_2.4.1-5_all.deb
 4912cd80422e4ee4e3f2dcafd59d4170 2081 math extra cvc3_2.4.1-5.dsc
 46fb25e90d19e8351a0fdadfee179848 10148 math extra cvc3_2.4.1-5.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJUJxhlAAoJEKjvEonjOGdBKxYP/Rr/0shNQm9DJsqjAA+fEf/q
n1zAOtfEcRe4cguu6bTgOFk/6YtWnl0SWrPPS21k87bWN7HPSwIogAhEp9I3VOtb
Dpn3tT7OPTbpV8j74UB7VsXTO5RyVlz/a44pjfWF+McNqe97Bqqh/wHLgYid2PSd
dlAtrWHbvYz5twvJHDGsQ7cSBspY+3MJSs/pUeGQ6W7pJSySYJ1U/G9LFg5rc6jJ
xyA3RgXSTb4eMT13zWF7eMBwWefsze2s/KRCOwW6Nb1NSsMyVj/pUMVDyAPTZO9e
K4KEyJasvVi0qralBuPfui3V6kPrvb10bOECeASSql/fZf/mMTVslb/eyBSyuAGL
NsoBLBqWMsh75P/rVdq1LWUyxUlebkWKfHib+F/Q02uNfKxpHLntm8IuAVSaHC/d
DpQONAD2TdStE8xMiyunvLsTXObqufHCAI5oXsb5bcjjdgKiY/Z6w7XdB152SItq
z7ZJjVo2j+wNsCRDOK1keRrbZErQlg0Soi1KOoTOj51TnTFmLP4Y4QHvH3ZQtLOR
0BR9OJ584P0BJh1aPg11xwlKZbBcuafTpZ29RLFUjwGBMMMukzD3jwrXB092q0NF
8TlEYqa+iRurCinFc+B3OlXFuGs8pyZh4dZseoymBQttKzDhHUK+N6vjdrTMTW04
rC6IvcgZ65uo/FkJNVIa
=3Pr3
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: