../ 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 4M libcloog-isl-dev_0.17.0-3_amd64.deb 08-Jul-2012 19:02 80K libcloog-isl3_0.17.0-3_amd64.deb 08-Jul-2012 19:02 63K