Control: tags 874237 + patch
Control: tags 874237 + pending
Dear maintainer,
I've prepared an NMU for z3 (versioned as 4.4.1-0.4) and uploaded
it to DELAYED/2. Please feel free to tell me if I should cancel it.
cu
Adrian
--
"Is there not promise of rain?" Ling Tan asked suddenly out
of the darkness. There had been need of rain for many days.
"Only a promise," Lao Er said.
Pearl S. Buck - Dragon Seed
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-09 22:28:32.000000000 +0300
@@ -1,3 +1,11 @@
+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
