3 Mar
2005
3 Mar
'05
3:40 p.m.
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