Index of /debian10/pool/main/p/ppl/

../
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