../ cloog-ppl_0.15.11-4.debian.tar.gz 15-Dec-2011 18:47 217450 cloog-ppl_0.15.11-4.dsc 15-Dec-2011 18:47 1347 cloog-ppl_0.15.11-4_amd64.deb 15-Dec-2011 18:47 8264 cloog-ppl_0.15.11.orig.tar.gz 07-Dec-2011 16:32 772737 libcloog-ppl-dev_0.15.11-4_amd64.deb 15-Dec-2011 18:47 105584 libcloog-ppl0_0.15.11-4_amd64.deb 15-Dec-2011 18:47 64050