diff -Nru coinor-ipopt-3.11.9/debian/changelog coinor-ipopt-3.11.9/debian/changelog
--- coinor-ipopt-3.11.9/debian/changelog	2017-07-17 06:30:10.000000000 +0000
+++ coinor-ipopt-3.11.9/debian/changelog	2017-12-20 00:03:57.000000000 +0000
@@ -1,3 +1,15 @@
+coinor-ipopt (3.11.9-2.1build3) bionic; urgency=medium
+
+  * Rebuild against new libmumps-5.1.2.
+
+ -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 20 Dec 2017 01:03:57 +0100
+
+coinor-ipopt (3.11.9-2.1build2) bionic; urgency=medium
+
+  * Rebuild against new libmumps-5.1.2.
+
+ -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 19 Dec 2017 23:35:22 +0100
+
 coinor-ipopt (3.11.9-2.1build1) artful; urgency=medium
 
   * Rebuild against new libmumps-5.1.1.