Index of /ubuntu/pool/universe/p/ppl/

../
libppl-c4_1.1-7.2build1_amd64.deb                  22-Feb-2016 16:04              932136
libppl-dev_1.1-7.2build1_amd64.deb                 22-Feb-2016 16:04             1838940
libppl-doc_1.1-7.2build1_all.deb                   22-Feb-2016 16:04             6477328
libppl-swi_1.1-7.2build1_amd64.deb                 22-Feb-2016 16:04             2551266
libppl13v5_1.1-7.2build1_amd64.deb                 22-Feb-2016 16:04              429526
ppl-dev_1.1-7.2build1_amd64.deb                    22-Feb-2016 16:04               33248
ppl_1.1-7.2build1.debian.tar.xz                    22-Feb-2016 14:23               12640
ppl_1.1-7.2build1.dsc                              22-Feb-2016 14:23                2133
ppl_1.1.orig.tar.xz                                19-Mar-2014 19:18            14734820