1.1 --- a/scripts/build/companion_libs/120-ppl.sh	Mon Dec 10 00:25:48 2012 +0100
     1.2 +++ b/scripts/build/companion_libs/120-ppl.sh	Fri Feb 15 18:54:27 2013 +0100
     1.3 @@ -12,10 +12,8 @@
     1.4  
     1.5  # Download PPL
     1.6  do_ppl_get() {
     1.7 -    CT_GetFile "ppl-${CT_PPL_VERSION}"                                      \
     1.8 -        http://www.cs.unipr.it/ppl/Download/ftp/releases/${CT_PPL_VERSION}  \
     1.9 -        ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION}            \
    1.10 -        ftp://gcc.gnu.org/pub/gcc/infrastructure
    1.11 +    CT_GetFile "ppl-${CT_PPL_VERSION}"  \
    1.12 +        http://bugseng.com/products/ppl/download/ftp/releases/${CT_PPL_VERSION}
    1.13  }
    1.14  
    1.15  # Extract PPL