diff -Nru z3-4.8.7/debian/changelog z3-4.8.7/debian/changelog
--- z3-4.8.7/debian/changelog	2020-01-13 21:55:52.000000000 +0000
+++ z3-4.8.7/debian/changelog	2020-03-23 06:29:12.000000000 +0000
@@ -1,3 +1,9 @@
+z3 (4.8.7-4build1) focal; urgency=medium
+
+  * No-change rebuild for libgcc-s1 package name change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Mon, 23 Mar 2020 07:29:12 +0100
+
 z3 (4.8.7-4) unstable; urgency=medium
 
   * Remove all :all and :native annotations from the build dependencies in