ppl: update to ppl-0.12

Signed-off-by: Stephan Raue <stephan@openelec.tv>
This commit is contained in:
Stephan Raue 2012-03-03 19:00:07 +01:00
parent 4541cf3ca0
commit f927ce1893

View File

@ -19,13 +19,12 @@
################################################################################
PKG_NAME="ppl"
PKG_VERSION="0.11.2"
PKG_VERSION="0.12"
PKG_REV="1"
PKG_ARCH="any"
PKG_LICENSE="GPL"
PKG_SITE="http://www.cs.unipr.it/ppl"
PKG_URL="http://www.cs.unipr.it/ppl/Download/ftp/releases/$PKG_VERSION/$PKG_NAME-$PKG_VERSION.tar.bz2"
PKG_URL="http://www.mirrorservice.org/sites/www.ibiblio.org/gentoo/distfiles/ppl-0.11.2.tar.bz2"
PKG_URL="http://bugseng.com/products/ppl/download/ftp/releases/$PKG_VERSION/$PKG_NAME-$PKG_VERSION.tar.xz"
PKG_DEPENDS=""
PKG_BUILD_DEPENDS="ccache gmp-host"
PKG_PRIORITY="optional"