isl: update to 0.12.1.

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 <xtraeme@gmail.com>"
-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