diff -Nru givaro-4.1.1/debian/changelog givaro-4.1.1/debian/changelog
--- givaro-4.1.1/debian/changelog	2019-09-13 20:27:59.000000000 +0000
+++ givaro-4.1.1/debian/changelog	2020-03-24 14:01:49.000000000 +0000
@@ -1,3 +1,9 @@
+givaro (4.1.1-2build1) focal; urgency=medium
+
+  * No-change rebuild for libgcc-s1 package name change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Tue, 24 Mar 2020 15:01:49 +0100
+
 givaro (4.1.1-2) unstable; urgency=medium
 
   * Team upload.