diff -Nru nvptx-tools-0.20180301/debian/changelog nvptx-tools-0.20180301/debian/changelog
--- nvptx-tools-0.20180301/debian/changelog	2018-03-08 04:04:58.000000000 +0000
+++ nvptx-tools-0.20180301/debian/changelog	2020-03-22 15:52:01.000000000 +0000
@@ -1,3 +1,9 @@
+nvptx-tools (0.20180301-1build1) focal; urgency=medium
+
+  * No-change rebuild for libgcc-s1 package name change.
+
+ -- Matthias Klose <doko@ubuntu.com>  Sun, 22 Mar 2020 16:52:01 +0100
+
 nvptx-tools (0.20180301-1) unstable; urgency=medium
 
   * New upstream snapshot.