diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template index 5b80f25f33..095088e119 100644 --- a/srcpkgs/isl/template +++ b/srcpkgs/isl/template @@ -1,7 +1,7 @@ # Template file for 'isl' pkgname=isl version=0.12.2 -revision=1 +revision=2 bootstrap=yes build_style=gnu-configure makedepends="gmp-devel"