Bug#700246: unblock: isl/0.11.1-1 and cloog/0.18.0-1

["Adam D. Barratt" <adam@adam-barratt.org.uk>]

On Mon, 2013-03-25 at 10:59 +0100, Julien Cristau wrote:
> On Sun, Feb 10, 2013 at 15:30:06 +0100, Matthias Klose wrote:
> > Please consider unblocking isl/0.11.1-1 and cloog/0.18.0-1 for wheezy. These are
> > new upstream versions now required by the upcoming GCC 4.8 release [1]. It would
> > be worthwhile to have the infrastructure to build GCC 4.8 in testing.
[...]
> I'm afraid I'm going to have to say no, sorry.  The choice at this point
> is to either ship the current versions, or remove these packages from
> wheezy.

Ping?

Regards,

Adam