../ libppl-c4_1.2-1_amd64.deb 30-Dec-2022 22:40 882K libppl-dev_1.2-1_amd64.deb 30-Dec-2022 22:40 2M libppl-doc_1.2-1_all.deb 30-Dec-2022 22:40 6M libppl-swi_1.2-1_amd64.deb 30-Dec-2022 22:40 2M libppl14_1.2-1_amd64.deb 30-Dec-2022 22:40 594K ppl-dev_1.2-1_amd64.deb 30-Dec-2022 22:40 221K