../ cloog-ppl_0.15.11-4.debian.tar.gz 18-Apr-2012 23:57 217450 cloog-ppl_0.15.11-4.dsc 18-Apr-2012 23:57 1347 cloog-ppl_0.15.11-4_armhf.deb 02-May-2012 00:27 8084 cloog-ppl_0.15.11.orig.tar.gz 18-Apr-2012 23:57 772737 libcloog-ppl-dev_0.15.11-4_armhf.deb 02-May-2012 00:27 93868 libcloog-ppl0_0.15.11-4_armhf.deb 02-May-2012 00:27 54698