-fpkg -s "$(get_pkg_ver ${PPL})" ${PPL} \
- "http://www.cs.unipr.it/ppl/Download/ftp/releases"
-fpkg ${CLOOG_PPL} "ftp://gcc.gnu.org/pub/gcc/infrastructure"
-fpkg -m gnu ${BINUTILS}
+fpkg ${ISL} "http://isl.gforge.inria.fr"
+fpkg -e "tar.gz" ${CLOOG} "http://www.bastoul.net/cloog/pages/download"
+fpkg -e "tar.bz2" -m gnu ${BINUTILS}