"http://bugseng.com/products/ppl/download/ftp/releases"
fpkg -e "tar.gz" ${CLOOG_PPL} "ftp://gcc.gnu.org/pub/gcc/infrastructure"
fpkg -e "tar.bz2" -m gnu ${BINUTILS}
"http://bugseng.com/products/ppl/download/ftp/releases"
fpkg -e "tar.gz" ${CLOOG_PPL} "ftp://gcc.gnu.org/pub/gcc/infrastructure"
fpkg -e "tar.bz2" -m gnu ${BINUTILS}