Re: ppl_0.11-1_amd64.changes ACCEPTED into experimental

2010-12-30 Thread Matthias Klose
On 13.11.2010 23:54, Michael Tautschnig wrote: [...] see the GCC build requirements where to download 0.15.9. 0.15.10 just contains a consistency check, no need to update. [...] 0.15.10 compiles fine with ppl 0.11 and passes all tests. Given that Roberto Bagnara, head of PPL development, s

Re: ppl_0.11-1_amd64.changes ACCEPTED into experimental

2010-11-13 Thread Michael Tautschnig
[...] > > see the GCC build requirements where to download 0.15.9. 0.15.10 > just contains a consistency check, no need to update. > [...] 0.15.10 compiles fine with ppl 0.11 and passes all tests. Given that Roberto Bagnara, head of PPL development, seems to be actively working with cloog deve

Re: ppl_0.11-1_amd64.changes ACCEPTED into experimental

2010-11-13 Thread Matthias Klose
On 13.11.2010 22:05, Michael Tautschnig wrote: Hi Matthias, Thanks a lot for getting back to me. [...] Is there actually any backporting work necessary, or is it just recompiling? I'll of course check this myself if you could just give me any hints which package to try to build and, if you a

Re: ppl_0.11-1_amd64.changes ACCEPTED into experimental

2010-11-13 Thread Michael Tautschnig
Hi Matthias, Thanks a lot for getting back to me. [...] > > > >Is there actually any backporting work necessary, or is it just recompiling? > >I'll of course check this myself if you could just give me any hints which > >package to try to build and, if you already know of any, which obstacles I

Re: ppl_0.11-1_amd64.changes ACCEPTED into experimental

2010-11-13 Thread Matthias Klose
On 04.11.2010 18:57, Michael Tautschnig wrote: while you do provide versioned -dev packages, you didn't rename the source package, so currently only 0.10 or 0.11 will be available. Not sure if I do want to backport the ppl 0.11 support to 4.4 and 4.5. [...] Is there actually any backporting w

Re: ppl_0.11-1_amd64.changes ACCEPTED into experimental

2010-11-04 Thread Michael Tautschnig
> while you do provide versioned -dev packages, you didn't rename the > source package, so currently only 0.10 or 0.11 will be available. > Not sure if I do want to backport the ppl 0.11 support to 4.4 and > 4.5. > [...] Is there actually any backporting work necessary, or is it just recompiling

Re: ppl_0.11-1_amd64.changes ACCEPTED into experimental

2010-11-04 Thread Matthias Klose
while you do provide versioned -dev packages, you didn't rename the source package, so currently only 0.10 or 0.11 will be available. Not sure if I do want to backport the ppl 0.11 support to 4.4 and 4.5. Matthias On 03.11.2010 22:21, Debian FTP Masters wrote: Accepted: libppl-c4_0.11-1_

ppl_0.11-1_amd64.changes ACCEPTED into experimental

2010-11-03 Thread Debian FTP Masters
Accepted: libppl-c4_0.11-1_amd64.deb to main/p/ppl/libppl-c4_0.11-1_amd64.deb libppl-doc_0.11-1_all.deb to main/p/ppl/libppl-doc_0.11-1_all.deb libppl-swi_0.11-1_amd64.deb to main/p/ppl/libppl-swi_0.11-1_amd64.deb libppl0.11-dev_0.11-1_amd64.deb to main/p/ppl/libppl0.11-dev_0.11-1_amd64.