[openwrt/openwrt] tools/isl: update to 0.25

[LEDE Commits]

hauke pushed a commit to openwrt/openwrt.git, branch master:
https://git.openwrt.org/ce3e467d6134fc56317bf851d4f25d7da80df38e

commit ce3e467d6134fc56317bf851d4f25d7da80df38e
Author: Nick Hainke <vincent at systemli.org>
AuthorDate: Thu Aug 18 14:42:01 2022 +0200

    tools/isl: update to 0.25
    
    Update isl to latest version.
    
    Signed-off-by: Nick Hainke <vincent at systemli.org>
---
 tools/isl/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/isl/Makefile b/tools/isl/Makefile
index 32c3cda9a2..e9674debc2 100644
--- a/tools/isl/Makefile
+++ b/tools/isl/Makefile
@@ -7,11 +7,11 @@
 include $(TOPDIR)/rules.mk
 
 PKG_NAME:=isl
-PKG_VERSION:=0.24
+PKG_VERSION:=0.25
 
 PKG_SOURCE_URL:=https://libisl.sourceforge.io/
 PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz
-PKG_HASH:=043105cc544f416b48736fff8caf077fb0663a717d06b1113f16e391ac99ebad
+PKG_HASH:=be7b210647ccadf90a2f0b000fca11a4d40546374a850db67adb32fad4b230d9
 
 HOST_BUILD_PARALLEL:=1