On Wed, 2011-03-02 at 21:29 +0100, Mehdi Dogguy wrote: > I’d like to propose the following change for Why. [...] > +++ b/debian/patches/0007-Squeeze-s-Coq-is-also-compatible.patch > @@ -0,0 +1,22 @@ > +From: Mehdi Dogguy <mehdi@dogguy.org> > +Date: Thu, 20 Jan 2011 20:56:15 +0100 > +Subject: [PATCH] Squeeze's Coq is also compatible Complete debdiffs including changelog entries are generally appreciated. In any case, please go ahead. Regards, Adam