diff -Nru dune-grid-glue-2.7.0/debian/changelog dune-grid-glue-2.7.0/debian/changelog --- dune-grid-glue-2.7.0/debian/changelog 2020-11-14 11:29:58.000000000 +0000 +++ dune-grid-glue-2.7.0/debian/changelog 2021-01-14 16:08:33.000000000 +0000 @@ -1,3 +1,9 @@ +dune-grid-glue (2.7.0-3build1) hirsute; urgency=medium + + * Rebuild against new dune 2.7.1. + + -- Gianfranco Costamagna Thu, 14 Jan 2021 17:08:33 +0100 + dune-grid-glue (2.7.0-3) unstable; urgency=medium * Use tag that is guaranteed to be valid. (Closes: #966965)