Re: [SRM] Stable update for Why

2011-03-08 Thread Adam D. Barratt
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 > +Date: Thu, 20 Jan 2011 20:56:15 +0100 > +Subject: [PATCH] Squeeze's Coq is

Re: [SRM] Stable update for Why

2011-03-02 Thread Philipp Kern
On Wed, Mar 02, 2011 at 09:29:12PM +0100, Mehdi Dogguy wrote: > I’d like to propose the following change for Why. ACK. Debdiffs (i.e. including the changelog stanza) would be appreciated. frame-c must be decided upon before accepting it from p-u-new, though. Kind regards Philipp Kern signatur

[SRM] Stable update for Why

2011-03-02 Thread Mehdi Dogguy
Hi, I’d like to propose the following change for Why. diff --git a/debian/patches/0007-Squeeze-s-Coq-is-also-compatible.patch b/debian/patches/0007-Squeeze-s-Coq-is-also-compatible.patch new file mode 100644 index 000..01bdbe3 --- /dev/null +++ b/debian/patches/0007-Squeeze-s-Coq-is-also-comp