diff -Nru nyquist-3.12+ds/debian/changelog nyquist-3.12+ds/debian/changelog
--- nyquist-3.12+ds/debian/changelog	2017-12-24 05:42:24.000000000 +0000
+++ nyquist-3.12+ds/debian/changelog	2020-03-23 06:21:06.000000000 +0000
@@ -1,3 +1,9 @@
+nyquist (3.12+ds-3build1) focal; urgency=medium
+
+  * No-change rebuild for libgcc-s1 package name change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Mon, 23 Mar 2020 07:21:06 +0100
+
 nyquist (3.12+ds-3) unstable; urgency=medium
 
   * Modify default-jdk build-dep to be >= 2:1.8~, since the code won't