Index of /pkgs/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.orig.tar.xz                                07-Dec-2015 00:24                  39