From b446a376735abd25e1cef28cbba7924275329ae1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C4=90o=C3=A0n=20Tr=E1=BA=A7n=20C=C3=B4ng=20Danh?=
 <congdanhqx@gmail.com>
Date: Thu, 25 Nov 2021 17:12:29 +0700
Subject: [PATCH] ppl: use Debian's mirror

The original distfiles is dead.
---
 srcpkgs/ppl/template | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/srcpkgs/ppl/template b/srcpkgs/ppl/template
index b95eae07b46..7380c28301e 100644
--- a/srcpkgs/ppl/template
+++ b/srcpkgs/ppl/template
@@ -10,7 +10,8 @@ short_desc="The Parma Polyhedra Library"
 homepage="http://www.bugseng.com/parma-polyhedra-library"
 license="GPL-3"
 maintainer="Orphaned <orphan@voidlinux.org>"
-distfiles="ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/ppl-${version}.tar.xz"
+# distfiles="ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/ppl-${version}.tar.xz"
+distfiles="${DEBIAN_SITE}/main/p/ppl/ppl_${version}.orig.tar.xz"
 checksum=691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60
 
 pre_configure() {