Bug#742865: RM: ppl -- binaries not built anymore: libppl0.12-dev libppl12

[Matthias Klose]

Package: ftp.debian.org

Please remove the binaries not built anymore from the ppl source: 
libppl0.12-dev, libppl12.


--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org