From 9df48d5c0fcb7619f3e6d728f1b65bede86e0b40 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Mon, 17 Oct 2011 10:11:33 +0200
Subject: [PATCH] ppl: new URL for distfiles, from davehome.

---
 srcpkgs/ppl/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/ppl/template b/srcpkgs/ppl/template
index ed51ed1e6f0..fbbf0cbe903 100644
--- a/srcpkgs/ppl/template
+++ b/srcpkgs/ppl/template
@@ -1,7 +1,7 @@
 # Template file for 'ppl'
 pkgname=ppl
 version=0.11.2
-distfiles="http://www.cs.unipr.it/ppl/Download/ftp/releases/${version}/ppl-${version}.tar.bz2"
+distfiles="http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.bz2"
 build_style=gnu_configure
 configure_args="--disable-rpath --enable-interfaces=c,cxx
 --with-gmp-prefix=${XBPS_MASTERDIR}/usr --with-gnu-ld --disable-debugging"