Index of /debian/pool/main/p/ppl
Name Last modified Size Description
Parent Directory -
ppl_1.2-8.1.dsc 2020-06-16 13:53 2.5K
ppl_1.2-8.1.debian.tar.xz 2020-06-16 13:53 13K
ppl-dev_1.2-8.1+b1_amd64.deb 2023-04-06 13:43 216K
libppl14_1.2-8.1+b1_amd64.deb 2023-04-06 13:43 606K
libppl-c4_1.2-8.1+b1_amd64.deb 2023-04-06 13:43 1.2M
libppl-dev_1.2-8.1+b1_amd64.deb 2023-04-06 13:43 2.1M
libppl-swi_1.2-8.1+b1_amd64.deb 2023-04-06 13:43 3.0M
libppl-doc_1.2-8.1_all.deb 2020-07-01 17:28 6.4M
ppl_1.2.orig.tar.xz 2016-11-12 20:19 13M