diff -Nru acl2-8.2dfsg/debian/changelog acl2-8.2dfsg/debian/changelog
--- acl2-8.2dfsg/debian/changelog	2019-12-27 15:15:44.000000000 +0000
+++ acl2-8.2dfsg/debian/changelog	2020-03-23 06:09:23.000000000 +0000
@@ -1,3 +1,9 @@
+acl2 (8.2dfsg-3build1) focal; urgency=medium
+
+  * No-change rebuild for libgcc-s1 package name change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Mon, 23 Mar 2020 07:09:23 +0100
+
 acl2 (8.2dfsg-3) unstable; urgency=medium
 
   * revert -2, set *split-files* to 100000 instead