Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Uploader: Konstantinos Margaritis <konstantinos@margaritis.eu> Host: debian-ports.org Accepted: ppl_0.10.2-9_armhf.changes Files: libppl7_0.10.2-9_armhf.deb libppl0.10-dev_0.10.2-9_armhf.deb libppl-c2_0.10.2-9_armhf.deb libpwl4_0.10.2-9_armhf.deb libpwl-dev_0.10.2-9_armhf.deb