From 25ce62aeaae6d724e20de21cd04a98028ce20565 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Buchm=C3=BCller?= <pullmoll@t-online.de>
Date: Fri, 2 Mar 2018 22:03:35 +0100
Subject: [PATCH] pev: temporarily use a Debian mirror

---
 srcpkgs/pev/template | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/srcpkgs/pev/template b/srcpkgs/pev/template
index d65031b6b4d..c6881c58f6f 100644
--- a/srcpkgs/pev/template
+++ b/srcpkgs/pev/template
@@ -11,5 +11,7 @@ short_desc="The PE file analysis toolkit"
 maintainer="Diogo Leal <diogo@diogoleal.com>"
 license="GPL-3"
 homepage="http://pev.sourceforge.net/"
-distfiles="${SOURCEFORGE_SITE}/project/${pkgname}/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
+#distfiles="${SOURCEFORGE_SITE}/project/${pkgname}/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
+# Temporarily use a Debian mirror
+distfiles="http://http.debian.net/debian/pool/main/p/pev/pev_${version}.orig.tar.gz"
 checksum=f68c8596f16d221d9a742812f6f728bcc739be90957bc1b00fbaa5943ffc5cfa