jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

splint: change distfiles

Browse source 
Closes: #10438 [via git-merge-pr]
This commit is contained in:
cr6git 2018-01-04 16:29:13 +01:00 committed by Jürgen Buchmüller
parent 33490067f2
commit 22603b4f6e
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
srcpkgs/splint/template
View file

@ -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