ppl (1:1.2-7) unstable; urgency=medium * Team upload. * debian/control: Drop libppl-swi on sh4 * Perform missing symlink_to_dir conversion for /usr/share/doc/package (Closes: #919899) -- James Clarke <email address hidden> Sun, 20 Jan 2019 16:48:25 +0000