diff --git a/srcpkgs/cross-arm-none-eabi/template b/srcpkgs/cross-arm-none-eabi/template
index d50ea80f8c..7f64959d45 100644
--- a/srcpkgs/cross-arm-none-eabi/template
+++ b/srcpkgs/cross-arm-none-eabi/template
@@ -8,7 +8,7 @@ _sysroot="/usr/${_triplet}"
 
 pkgname=cross-${_triplet}
 version=0.2
-revision=1
+revision=2
 short_desc="GNU cross bare metal toolchain"
 maintainer="Thomas Bernard <thomas@famillebernardgouriou.fr>"
 homepage="http://www.voidlinux.eu"
@@ -31,7 +31,7 @@ nodebug=yes
 create_wrksrc=yes
 
 hostmakedepends="perl flex bison"
-makedepends="zlib-devel gmp-devel mpfr-devel libmpc-devel isl15-devel"
+makedepends="zlib-devel gmp-devel mpfr-devel libmpc-devel isl16-devel"
 
 _apply_patch() {
 	local args="$1" pname="$(basename $2)"