../ libppl-c4_1.2-7_amd64.deb 20-Jan-2019 19:23 1185668 libppl-dev_1.2-7_amd64.deb 20-Jan-2019 19:23 2122980 libppl-doc_1.2-7_all.deb 20-Jan-2019 23:13 6667780 libppl-swi_1.2-7_amd64.deb 20-Jan-2019 19:23 2834480 libppl14_1.2-7_amd64.deb 20-Jan-2019 19:23 605488 ppl-dev_1.2-7_amd64.deb 20-Jan-2019 19:23 226892 ppl_1.2-7.debian.tar.xz 20-Jan-2019 17:57 12068 ppl_1.2-7.dsc 20-Jan-2019 17:57 2573 ppl_1.2.orig.tar.xz 12-Nov-2016 19:19 14136236