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

ppl: new URL for distfiles, from davehome.

Browse source
This commit is contained in:
Juan RP 2011-10-17 10:11:33 +02:00
parent c53fb54f4e
commit 9df48d5c0f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
srcpkgs/ppl/template
View file

@ -1,7 +1,7 @@
# Template file for 'ppl' # Template file for 'ppl'
pkgname=ppl pkgname=ppl
version=0.11.2 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 build_style=gnu_configure
configure_args="--disable-rpath --enable-interfaces=c,cxx configure_args="--disable-rpath --enable-interfaces=c,cxx
--with-gmp-prefix=${XBPS_MASTERDIR}/usr --with-gnu-ld --disable-debugging" --with-gmp-prefix=${XBPS_MASTERDIR}/usr --with-gnu-ld --disable-debugging"