[PPL-devel] ppl/debian control

[Michael Tautschnig]

Another minor thing: As the package is now name "libppl" , the 
dependency-information for libppl-dev must be changed from ppl to libppl .

Thanks,
Michael