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