Bug#685597: unblock: ppl/0.11.2-8

2012-10-13 Thread Philipp Kern
On Tue, Aug 28, 2012 at 08:09:08PM +0100, Adam D. Barratt wrote: On Wed, 2012-08-22 at 12:07 +0200, Matthias Klose wrote: unblock to fix #669479, #680896 for wheezy. the split out ppl-config binary is not used by apron and cloog-ppl, so no changes for build dependencies in other

Bug#685597: unblock: ppl/0.11.2-8

2012-08-28 Thread Adam D. Barratt
On Wed, 2012-08-22 at 12:07 +0200, Matthias Klose wrote: unblock to fix #669479, #680896 for wheezy. the split out ppl-config binary is not used by apron and cloog-ppl, so no changes for build dependencies in other packages are needed. Has it been verified that they build correctly against a

Bug#685597: unblock: ppl/0.11.2-8

2012-08-22 Thread Matthias Klose
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: unblock unblock to fix #669479, #680896 for wheezy. the split out ppl-config binary is not used by apron and cloog-ppl, so no changes for build dependencies in other packages are needed. -- To