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

Reply via email to