Re: [PR PATCH] [Updated] isl: update to 0.25

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

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

There is an updated 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: 1028 bytes --]

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

---
 srcpkgs/isl/template | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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