Your message dated Wed, 04 Sep 2019 10:34:38 +0000
with message-id <[email protected]>
and subject line Bug#909494: fixed in z3 4.8.4-1
has caused the Debian Bug report #909494,
regarding z3: Please update to last version
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 [email protected]
immediately.)
--
909494: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=909494
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: z3
Version: 4.4.1-0.4
Severity: wishlist
Dear Maintainer,
version 4.7.1 of Z3 has been released. It would be nice to have it on
Debian!
Thanks for you work, Giovanni.
-- System Information:
Debian Release: buster/sid
APT prefers unstable-debug
APT policy: (500, 'unstable-debug'), (500, 'unstable'), (500, 'testing'), (1,
'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.18.0-1-amd64 (SMP w/8 CPU cores)
Locale: LANG=it_IT.utf8, LC_CTYPE=it_IT.utf8 (charmap=UTF-8),
LANGUAGE=it_IT.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Versions of packages z3 depends on:
ii libc6 2.27-6
ii libgcc1 1:8.2.0-7
ii libgomp1 8.2.0-7
ii libstdc++6 8.2.0-7
z3 recommends no packages.
z3 suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: z3
Source-Version: 4.8.4-1
We believe that the bug you reported is fixed in the latest version of
z3, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Fabian Wolff <[email protected]> (supplier of updated z3 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 27 Aug 2019 14:30:11 +0200
Source: z3
Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java
libz3-jni
Architecture: source
Version: 4.8.4-1
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <[email protected]>
Changed-By: Fabian Wolff <[email protected]>
Description:
libz3-4 - theorem prover from Microsoft Research - runtime libraries
libz3-cil - theorem prover from Microsoft Research - CLI bindings
libz3-dev - theorem prover from Microsoft Research - development files
libz3-java - theorem prover from Microsoft Research - java bindings
libz3-jni - theorem prover from Microsoft Research - JNI library
libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings
python-z3 - theorem prover from Microsoft Research - Python bindings
z3 - theorem prover from Microsoft Research
Closes: 909494 934048
Changes:
z3 (4.8.4-1) unstable; urgency=medium
.
[ Gianfranco Costamagna ]
* Team upload.
* Honour nocheck option to not run testsuite
.
[ Fabian Wolff ]
* New upstream release (Closes: #909494).
* Add debian/gbp.conf.
* Update and reorganize patches.
* Upgrade to debhelper compat level 12.
* Upgrade to Standards-Version 4.4.0 (no changes).
* Remove trailing whitespace from debian/control.
* Build-Depend on libnum-ocaml-dev (Closes: #934048).
Checksums-Sha1:
d7ddf9ac0acfeec8d4261b5b3db54f52853f3926 3020 z3_4.8.4-1.dsc
171be55f306966a6968fef5e8ecb65846fb3b734 4117081 z3_4.8.4.orig.tar.gz
5d070070e8355f358dda318ffea0a9d7b2c76adc 9480 z3_4.8.4-1.debian.tar.xz
58478b90fa565cdb5f534ddfa6a3bca1faf15c08 22026 z3_4.8.4-1_source.buildinfo
Checksums-Sha256:
37928289d925c64464f68e0733ab43a07673e9a2f4cb24a356909d26d4ae95c3 3020
z3_4.8.4-1.dsc
5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601 4117081
z3_4.8.4.orig.tar.gz
6805e4953eb6586135709857e61f1fb03872333082a903132d257be740f3bfcc 9480
z3_4.8.4-1.debian.tar.xz
0a1264033edb71b2142b8564907ff72a8ffad47b4dc509beb0ab00aa159f82a4 22026
z3_4.8.4-1_source.buildinfo
Files:
1e25841516835cfaeaa06110db30f142 3020 science optional z3_4.8.4-1.dsc
b74bbb04e90c034125fe9e01988add95 4117081 science optional z3_4.8.4.orig.tar.gz
b7cc674b3e022700cabb461fc4889c45 9480 science optional z3_4.8.4-1.debian.tar.xz
6ed67d022779e99e809eecf960d6bd62 22026 science optional
z3_4.8.4-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1vjwgACgkQ808JdE6f
XdlnCA//e1LH7dOfxuqpXRwPas2AmLXZI3bNHwOkG5gnnWPUvsiCFzqWPNaCUeYE
vQ2Rf97fFkUwkasi46BlMqLc/kgS/zC35vnYTL288DzGoJyb4jKA7qa9gJZFBDg7
1Hc8MIRPYkWaPcSsOaL197pGfDxia4D56frJFhhyeVuL73pTPgEvzVsH+Qsrirs3
59YGyOmt3oockKCVARiFbMXiM7fC4ZH1TEN1vispdSkT4WhnDRLCTeXL+iepgzSs
sn7lakJFUaRCAALVLx3jMDD081AOC6Ku5zrp2dpnrcXDmSlTpD+zUUaHfh23DZyh
73Eevc4yIiR33ARaZIYLauKAMqCQZlgzUb6uRktLM9Ilt4txJaUN1Lo5xS2E15bh
4bKKj/+vEUCdJ3ArtIpR+0EjtXUd/KDBU/xN9cerg6Tj2ZCbE9fIrC2L+CIA7VNI
8zopdlBcG/If+luG1A9xeYV5ImvDb77AuwZnXYOHC5mJipsoCYFm36Ch3YdmV+ws
b9R6s7FZh9O03L2Dhkbj6v+ft256jECsvHIGXp5W8F4OX5azQG/8NerLMnxyG1o1
s+YChaoH3onVauQ+vNyRNNcoWnJkpUvZGHD+YATYaoHhdwZehNbYiYpT0LK+vRrp
nt/DengCjEjlx/IcqySOvj/7Jgbd9JBdvEQoBmANcpBKYimpakQ=
=w01Y
-----END PGP SIGNATURE-----
--- End Message ---
