From 30f60c6096800dbae0cba805ebf251d9e934d53f Mon Sep 17 00:00:00 2001 From: Juan RP Date: Sun, 18 Aug 2013 07:44:22 +0200 Subject: [PATCH] isl: update to 0.12.1. --- srcpkgs/isl/template | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template index 7551399ad6..88a330ab57 100644 --- a/srcpkgs/isl/template +++ b/srcpkgs/isl/template @@ -1,15 +1,15 @@ # Template file for 'isl' pkgname=isl -version=0.12 +version=0.12.1 revision=1 build_style=gnu-configure makedepends="gmp-devel" short_desc="Integer Set Library" maintainer="Juan RP " -homepage="http://www.kotnet.org/~skimo/isl/" +homepage="http://freecode.com/projects/isl" license="LGPL-2.1" -distfiles="http://www.kotnet.org/~skimo/isl/isl-$version.tar.lzma" -checksum=6a7f72cbbbbd3f71458373e980c74f87b1fe278a3972cfc53f1c8788bb2ec449 +distfiles="ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/isl-${version}.tar.bz2" +checksum=43ba8a43c3554a72a7e9e0d913a52dedbc0d712f472f3e62d239517bdd53e7b7 post_install() { # Remove gdb python files. @@ -17,7 +17,7 @@ post_install() { } isl-devel_package() { - depends="gmp-devel isl>=$version" + depends="gmp-devel isl-${version}_${revision}" short_desc+=" - development files" pkg_install() { vmove usr/include