From 22603b4f6ee193d38d61ba7995ad12dafd65853e Mon Sep 17 00:00:00 2001
From: cr6git <quark6@protonmail.com>
Date: Thu, 4 Jan 2018 16:29:13 +0100
Subject: [PATCH] splint: change distfiles

Closes: #10438 [via git-merge-pr]
---
 srcpkgs/splint/template | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/splint/template b/srcpkgs/splint/template
index b22e8c33326..56b2a3d9159 100644
--- a/srcpkgs/splint/template
+++ b/srcpkgs/splint/template
@@ -2,6 +2,7 @@
 pkgname=splint
 version=3.1.2
 revision=4
+wrksrc="${pkgname}-${version}.orig"
 build_style=gnu-configure
 hostmakedepends="flex"
 makedepends="libfl-devel"
@@ -9,8 +10,8 @@ short_desc="Secure Programming Lint"
 maintainer="Juan RP <xtraeme@voidlinux.eu>"
 homepage="http://www.splint.org"
 license="GPL-2"
-distfiles="http://www.splint.org/downloads/$pkgname-$version.src.tgz"
-checksum=c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a
+distfiles="${DEBIAN_SITE}/main/s/splint/${pkgname}_${version}+dfsg.orig.tar.xz"
+checksum=51cd7ba978a366ae1ededac2b927058fd5f45d5455e5a9d640b75ab4e45b748a
 disable_parallel_build=yes
 nocross=yes