# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@free.fr>
# Date 1360950867 -3600
# Node ID 0c76cb00a9c680529cfe8b9cb11f579700ece5ef
# Parent  20f2459b97bf5eb89e2f125e0aede9541e7fc049
complibs/ppl: update upstream location

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>

diff -r 20f2459b97bf -r 0c76cb00a9c6 scripts/build/companion_libs/120-ppl.sh
--- a/scripts/build/companion_libs/120-ppl.sh	Mon Jan 28 21:53:18 2013 +0100
+++ b/scripts/build/companion_libs/120-ppl.sh	Fri Feb 15 18:54:27 2013 +0100
@@ -12,10 +12,8 @@
 
 # Download PPL
 do_ppl_get() {
-    CT_GetFile "ppl-${CT_PPL_VERSION}"                                      \
-        http://www.cs.unipr.it/ppl/Download/ftp/releases/${CT_PPL_VERSION}  \
-        ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION}            \
-        ftp://gcc.gnu.org/pub/gcc/infrastructure
+    CT_GetFile "ppl-${CT_PPL_VERSION}"  \
+        http://bugseng.com/products/ppl/download/ftp/releases/${CT_PPL_VERSION}
 }
 
 # Extract PPL