Index of /pub/gwdg/ubuntu/22.04/pool/universe/p/ppl/

../
libppl-c4_1.2-8.1build1_amd64.deb                  09-Oct-2020 13:43             1083556
libppl-dev_1.2-8.1build1_amd64.deb                 09-Oct-2020 13:43             2009264
libppl-doc_1.2-8.1build1_all.deb                   09-Oct-2020 13:43             6479304
libppl-swi_1.2-8.1build1_amd64.deb                 09-Oct-2020 13:43             2994044
libppl14_1.2-8.1build1_amd64.deb                   09-Oct-2020 13:43              434488
ppl-dev_1.2-8.1build1_amd64.deb                    09-Oct-2020 13:43               35072