diff -Nru why-2.40/debian/changelog why-2.40/debian/changelog --- why-2.40/debian/changelog 2019-01-15 15:11:55.000000000 +0000 +++ why-2.40/debian/changelog 2019-02-22 23:04:55.000000000 +0000 @@ -1,14 +1,9 @@ -why (2.40-3build2) disco; urgency=medium +why (2.40-4) unstable; urgency=medium - * No-change rebuild for ocaml abi changes. + * Team upload. + * Rebuild against coq/8.9.0-1. - -- Matthias Klose Tue, 15 Jan 2019 15:11:55 +0000 - -why (2.40-3build1) disco; urgency=medium - - * No-change rebuild against new frama-c-base - - -- Steve Langasek Wed, 14 Nov 2018 20:48:16 -0800 + -- Benjamin Barenblat Fri, 22 Feb 2019 18:04:55 -0500 why (2.40-3) unstable; urgency=medium diff -Nru why-2.40/debian/control why-2.40/debian/control --- why-2.40/debian/control 2018-11-15 04:48:16.000000000 +0000 +++ why-2.40/debian/control 2019-02-22 22:55:26.000000000 +0000 @@ -1,8 +1,7 @@ Source: why Section: math Priority: optional -Maintainer: Ubuntu Developers -XSBC-Original-Maintainer: Debian OCaml Maintainers +Maintainer: Debian OCaml Maintainers Uploaders: Samuel Mimram , Mehdi Dogguy , Ralf Treinen