diff -Nru why3-1.2.0/debian/changelog why3-1.2.0/debian/changelog
--- why3-1.2.0/debian/changelog	2019-08-30 06:27:50.000000000 +0000
+++ why3-1.2.0/debian/changelog	2019-10-16 08:30:48.000000000 +0000
@@ -1,3 +1,20 @@
+why3 (1.2.0-3ubuntu1) eoan; urgency=low
+
+  * Merge from Debian unstable.  Remaining changes:
+    - Skip why3+z3 test on ppc64el, as it hangs indefinitely.
+
+ -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 16 Oct 2019 10:30:48 +0200
+
+why3 (1.2.0-3) unstable; urgency=medium
+
+  * why3 1.2.0 supports z3 up to version 4.8.4 only (closes: #942344)
+    - add a version constraint to Recommends
+    - add a version constraint to the dependencies of test why3+z3
+    - flag test why3+z3 as skip-not-installable
+  * Standards-Version 4.4.1 (no change)
+
+ -- Ralf Treinen <treinen@debian.org>  Tue, 15 Oct 2019 20:42:34 +0200
+
 why3 (1.2.0-2ubuntu1) eoan; urgency=medium
 
   * Merge from Debian unstable.  Remaining changes:
diff -Nru why3-1.2.0/debian/control why3-1.2.0/debian/control
--- why3-1.2.0/debian/control	2019-08-30 06:27:48.000000000 +0000
+++ why3-1.2.0/debian/control	2019-10-15 21:50:25.000000000 +0000
@@ -21,7 +21,7 @@
   texlive-latex-recommended, texlive-latex-extra,
   texlive-fonts-recommended,
   texlive-bibtex-extra
-Standards-Version: 4.4.0
+Standards-Version: 4.4.1
 Homepage: http://why3.lri.fr/
 Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git
 Vcs-Browser: https://salsa.debian.org/ocaml-team/why3
@@ -32,7 +32,7 @@
   ${shlibs:Depends},
   ${ocaml:Depends},
   ${misc:Depends},
-Recommends: cvc3 | cvc4 | why3-coq | spass | z3 | alt-ergo (>= 2.0.0)
+Recommends: cvc3 | cvc4 | why3-coq | spass | z3 (<< 4.8.5) | alt-ergo (>= 2.0.0)
 Suggests: why3-examples
 Description: Software verification platform
  Why3 is a platform for deductive program verification. It provides a
diff -Nru why3-1.2.0/debian/tests/control why3-1.2.0/debian/tests/control
--- why3-1.2.0/debian/tests/control	2019-02-16 03:48:14.000000000 +0000
+++ why3-1.2.0/debian/tests/control	2019-10-15 21:50:25.000000000 +0000
@@ -15,7 +15,8 @@
 Restrictions: skip-not-installable
 
 Tests: why3+z3
-Depends:why3, z3
+Depends:why3, z3 (<< 4.8.5)
+Restrictions: skip-not-installable
 
 Tests: why3+coq
 Depends: why3, why3-coq, coq