* [PR PATCH] isl: update to 0.24
@ 2021-08-20 18:53 dkwo
2021-08-23 16:01 ` tornaria
` (3 more replies)
0 siblings, 4 replies; 5+ messages in thread
From: dkwo @ 2021-08-20 18:53 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 407 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/32603
isl: update to 0.24
- I generally don't use the affected packages but briefly tested this PR
Builds and checks fine on x86_64-musl.
A patch file from https://github.com/void-linux/void-packages/pull/32603.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-isl-32603.patch --]
[-- Type: text/x-diff, Size: 1052 bytes --]
From d56d582d790cc40102af9bd6647ab9a2f3738d2a Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 20 Aug 2021 20:52:24 +0200
Subject: [PATCH] isl: update to 0.24
---
srcpkgs/isl/template | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template
index d8a3cbe082a1..e9a7dd014285 100644
--- a/srcpkgs/isl/template
+++ b/srcpkgs/isl/template
@@ -1,6 +1,6 @@
# Template file for 'isl'
pkgname=isl
-version=0.23
+version=0.24
revision=1
bootstrap=yes
build_style=gnu-configure
@@ -9,8 +9,8 @@ short_desc="Integer Set Library"
maintainer="Orphaned <orphan@voidlinux.org>"
license="MIT"
homepage="http://isl.gforge.inria.fr"
-distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
-checksum=c58922c14ae7d0791a77932f377840890f19bc486b653fa64eba7f1026fb214d
+distfiles="${homepage}/isl-${version}.tar.bz2"
+checksum=fcf78dd9656c10eb8cf9fbd5f59a0b6b01386205fe1934b3b287a0a1898145c0
if [ -z "$CHROOT_READY" ]; then
CFLAGS="-I${XBPS_MASTERDIR}/usr/include"
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: isl: update to 0.24
2021-08-20 18:53 [PR PATCH] isl: update to 0.24 dkwo
@ 2021-08-23 16:01 ` tornaria
2021-08-23 16:23 ` [PR REVIEW] " paper42
` (2 subsequent siblings)
3 siblings, 0 replies; 5+ messages in thread
From: tornaria @ 2021-08-23 16:01 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 249 bytes --]
New comment by tornaria on void-packages repository
https://github.com/void-linux/void-packages/pull/32603#issuecomment-903903941
Comment:
LGTM, I compiled and doctested sage-9.4 with this PR + #29997 + #30034 + #30035 + #30036. All working fine.
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PR REVIEW] isl: update to 0.24
2021-08-20 18:53 [PR PATCH] isl: update to 0.24 dkwo
2021-08-23 16:01 ` tornaria
@ 2021-08-23 16:23 ` paper42
2021-08-23 16:43 ` [PR PATCH] [Updated] " dkwo
2021-08-23 17:25 ` [PR PATCH] [Merged]: " paper42
3 siblings, 0 replies; 5+ messages in thread
From: paper42 @ 2021-08-23 16:23 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 173 bytes --]
New review comment by paper42 on void-packages repository
https://github.com/void-linux/void-packages/pull/32603#discussion_r694122004
Comment:
please don't use $homepage
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PR PATCH] [Updated] isl: update to 0.24
2021-08-20 18:53 [PR PATCH] isl: update to 0.24 dkwo
2021-08-23 16:01 ` tornaria
2021-08-23 16:23 ` [PR REVIEW] " paper42
@ 2021-08-23 16:43 ` dkwo
2021-08-23 17:25 ` [PR PATCH] [Merged]: " paper42
3 siblings, 0 replies; 5+ messages in thread
From: dkwo @ 2021-08-23 16:43 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 412 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/32603
isl: update to 0.24
- I generally don't use the affected packages but briefly tested this PR
Builds and checks fine on x86_64-musl.
A patch file from https://github.com/void-linux/void-packages/pull/32603.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-isl-32603.patch --]
[-- Type: text/x-diff, Size: 970 bytes --]
From 1b376a4747654c619dbcd81287f574607d124c3c Mon Sep 17 00:00:00 2001
From: dkwo <nicolopiazzalunga@gmail.com>
Date: Fri, 20 Aug 2021 20:52:24 +0200
Subject: [PATCH] isl: update to 0.24
---
srcpkgs/isl/template | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template
index d8a3cbe082a1..397221fbaa41 100644
--- a/srcpkgs/isl/template
+++ b/srcpkgs/isl/template
@@ -1,6 +1,6 @@
# Template file for 'isl'
pkgname=isl
-version=0.23
+version=0.24
revision=1
bootstrap=yes
build_style=gnu-configure
@@ -10,7 +10,7 @@ maintainer="Orphaned <orphan@voidlinux.org>"
license="MIT"
homepage="http://isl.gforge.inria.fr"
distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
-checksum=c58922c14ae7d0791a77932f377840890f19bc486b653fa64eba7f1026fb214d
+checksum=fcf78dd9656c10eb8cf9fbd5f59a0b6b01386205fe1934b3b287a0a1898145c0
if [ -z "$CHROOT_READY" ]; then
CFLAGS="-I${XBPS_MASTERDIR}/usr/include"
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PR PATCH] [Merged]: isl: update to 0.24
2021-08-20 18:53 [PR PATCH] isl: update to 0.24 dkwo
` (2 preceding siblings ...)
2021-08-23 16:43 ` [PR PATCH] [Updated] " dkwo
@ 2021-08-23 17:25 ` paper42
3 siblings, 0 replies; 5+ messages in thread
From: paper42 @ 2021-08-23 17:25 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 266 bytes --]
There's a merged pull request on the void-packages repository
isl: update to 0.24
https://github.com/void-linux/void-packages/pull/32603
Description:
- I generally don't use the affected packages but briefly tested this PR
Builds and checks fine on x86_64-musl.
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2021-08-23 17:25 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-08-20 18:53 [PR PATCH] isl: update to 0.24 dkwo
2021-08-23 16:01 ` tornaria
2021-08-23 16:23 ` [PR REVIEW] " paper42
2021-08-23 16:43 ` [PR PATCH] [Updated] " dkwo
2021-08-23 17:25 ` [PR PATCH] [Merged]: " paper42
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).