diff -Nru hol-light-20190729/debian/changelog hol-light-20190729/debian/changelog
--- hol-light-20190729/debian/changelog	2020-02-12 04:43:48.000000000 +0000
+++ hol-light-20190729/debian/changelog	2020-02-21 01:31:39.000000000 +0000
@@ -1,3 +1,9 @@
+hol-light (20190729-4build1) focal; urgency=medium
+
+  * No change rebuild against new ocaml ABI
+
+ -- Dimitri John Ledkov <xnox@ubuntu.com>  Fri, 21 Feb 2020 01:31:39 +0000
+
 hol-light (20190729-4) unstable; urgency=medium
 
   * Team upload
diff -Nru hol-light-20190729/debian/control hol-light-20190729/debian/control
--- hol-light-20190729/debian/control	2020-02-12 04:43:48.000000000 +0000
+++ hol-light-20190729/debian/control	2020-02-21 01:31:39.000000000 +0000
@@ -1,7 +1,8 @@
 Source: hol-light
 Section: math
 Priority: optional
-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
+Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
+XSBC-Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Uploaders:
  Hendrik Tews <hendrik@askra.de>
 Build-Depends: