diff -Nru wims-4.15d~dfsg1/debian/changelog wims-4.15d~dfsg1/debian/changelog
--- wims-4.15d~dfsg1/debian/changelog	2018-11-17 16:23:41.000000000 +0000
+++ wims-4.15d~dfsg1/debian/changelog	2020-03-22 16:03:10.000000000 +0000
@@ -1,3 +1,9 @@
+wims (1:4.15d~dfsg1-3build1) focal; urgency=medium
+
+  * No-change rebuild for libgcc-s1 package name change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Sun, 22 Mar 2020 17:03:10 +0100
+
 wims (1:4.15d~dfsg1-3) unstable; urgency=medium
 
   * adopted Graham Inggs' patch; Closes: #913751