../ cloog-isl_0.17.0-3_amd64.deb 08-Jul-2012 19:02 8184 cloog_0.17.0-3.diff.gz 08-Jul-2012 19:02 4087 cloog_0.17.0-3.dsc 08-Jul-2012 19:02 1288 cloog_0.17.0.orig.tar.gz 16-Dec-2011 10:32 4253468 libcloog-isl-dev_0.17.0-3_amd64.deb 08-Jul-2012 19:02 81558 libcloog-isl3_0.17.0-3_amd64.deb 08-Jul-2012 19:02 64058