Your message dated Sat, 16 Feb 2019 11:36:33 +0000
with message-id <1550316993.21192.50.ca...@adam-barratt.org.uk>
and subject line Closing bugs for updates included in 9.8
has caused the Debian Bug report #908957,
regarding stretch-pu: package z3/4.4.1-0.4~deb9u1
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 ow...@bugs.debian.org
immediately.)
--
908957: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908957
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: release.debian.org
Severity: normal
Tags: stretch
User: release.debian....@packages.debian.org
Usertags: pu
Installing multiple architectures of python-z3 at the
same time fails during installation, remove the incorrect
Multi-Arch: same.
diff -Nru z3-4.4.1/debian/changelog z3-4.4.1/debian/changelog
--- z3-4.4.1/debian/changelog 2016-09-26 08:28:12.000000000 +0300
+++ z3-4.4.1/debian/changelog 2018-09-16 20:46:04.000000000 +0300
@@ -1,3 +1,18 @@
+z3 (4.4.1-0.4~deb9u1) stretch; urgency=medium
+
+ * Non-maintainer upload.
+ * Rebuild for stretch.
+
+ -- Adrian Bunk <b...@debian.org> Sun, 16 Sep 2018 20:46:04 +0300
+
+z3 (4.4.1-0.4) unstable; urgency=medium
+
+ * Non-maintainer upload.
+ * Remove the incorrect Multi-Arch: same of python-z3,
+ thanks to Helmut Grohne. (Closes: #874237)
+
+ -- Adrian Bunk <b...@debian.org> Sun, 09 Sep 2018 22:28:32 +0300
+
z3 (4.4.1-0.3) unstable; urgency=medium
* Non-maintainer upload.
diff -Nru z3-4.4.1/debian/control z3-4.4.1/debian/control
--- z3-4.4.1/debian/control 2016-07-20 14:07:58.000000000 +0300
+++ z3-4.4.1/debian/control 2018-09-09 22:28:32.000000000 +0300
@@ -61,7 +61,6 @@
Package: python-z3
Section: python
Architecture: any
-Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
Depends: libz3-dev (= ${binary:Version}), ${misc:Depends}, ${python:Depends},
${shlibs:Depends}
Description: theorem prover from Microsoft Research - Python bindings
--- End Message ---
--- Begin Message ---
Version: 9.8
Hi,
The update referenced by each of these bugs was included in this
morning's stretch point release.
Regards,
Adam
--- End Message ---
