[PR PATCH] isl: update to 0.25

[dkwo <dkwo@users.noreply.github.com>]

[-- Attachment #1: Type: text/plain, Size: 469 bytes --]

There is a new pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages isl
https://github.com/void-linux/void-packages/pull/40173

isl: update to 0.25
#### Testing the changes
- I tested the changes in this PR: **briefly**

#### Local build testing
- I built this PR locally for my native architecture, x86_64-musl aarch64

A patch file from https://github.com/void-linux/void-packages/pull/40173.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-isl-40173.patch --]
[-- Type: text/x-diff, Size: 2174 bytes --]

From 1158b8b5053ed5775d84a3c0506083f2aa2e5912 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Wed, 26 Oct 2022 15:12:25 -0400
Subject: [PATCH 1/2] isl: update to 0.25, adopt

---
 common/shlibs        | 2 +-
 srcpkgs/isl/template | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/common/shlibs b/common/shlibs
index 0ecf4f7437f7..a606c635135b 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -1068,7 +1068,7 @@ libspectre.so.1 libspectre-0.2.6_1
 libsratom-0.so.0 sratom-0.4.0_1
 libpwquality.so.1 libpwquality-1.1.1_1
 libiml.so.0 iml-1.0.5_1
-libisl.so.23 isl-0.23_1
+libisl.so.23 isl-0.25_1
 libisl.so.19 isl15-0.19_1
 libcloog-isl.so.4 cloog-0.18.1_1
 librtmp.so.1 librtmp-2.4.20161210_9
diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template
index c842587f7b7d..9eb07390d983 100644
--- a/srcpkgs/isl/template
+++ b/srcpkgs/isl/template
@@ -1,15 +1,15 @@
 # Template file for 'isl'
 pkgname=isl
-version=0.24
-revision=2
+version=0.25
+revision=1
 build_style=gnu-configure
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
-maintainer="Orphaned <orphan@voidlinux.org>"
+maintainer="dkwo <npiazza@disroot.org>"
 license="MIT"
 homepage="https://libisl.sourceforge.io/"
 distfiles="${SOURCEFORGE_SITE}/libisl/isl-${version}.tar.bz2"
-checksum=fcf78dd9656c10eb8cf9fbd5f59a0b6b01386205fe1934b3b287a0a1898145c0
+checksum=4305c54d4eebc4bf3ce365af85f04984ef5aa97a52e01128445e26da5b1f467a
 
 post_install() {
 	vlicense LICENSE

From f241e1a654116057b60014b22a63780562746cb5 Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Wed, 26 Oct 2022 15:40:30 -0400
Subject: [PATCH 2/2] cloog: revbump for isl

---
 srcpkgs/cloog/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/cloog/template b/srcpkgs/cloog/template
index c7b19891f15b..290835f57b98 100644
--- a/srcpkgs/cloog/template
+++ b/srcpkgs/cloog/template
@@ -1,7 +1,7 @@
 # Template file for 'cloog'
 pkgname=cloog
 version=0.20.0
-revision=1
+revision=2
 build_style=gnu-configure
 configure_args="--with-isl=system --with-gmp=system --with-gmp-exec-prefix=${XBPS_CROSS_BASE}"
 makedepends="isl-devel"