../ libppl-c4_1.2-7+b1_armhf.deb 02-Feb-2019 11:41 724784 libppl-dev_1.2-7+b1_armhf.deb 02-Feb-2019 11:41 1600748 libppl-doc_1.2-7_all.deb 20-Jan-2019 23:13 6667780 libppl-swi_1.2-7+b1_armhf.deb 02-Feb-2019 11:41 1642032 libppl14_1.2-7+b1_armhf.deb 02-Feb-2019 11:41 534144 ppl-dev_1.2-7+b1_armhf.deb 02-Feb-2019 11:41 222952 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