[Gsrc-commit] trunk r7584: update isl to 0.24

[Carl Hansen]

------------------------------------------------------------
revno: 7584
revision-id: carlhansen@gnu.org-20210507231808-nnhodfikie29rl43
parent: carlhansen@gnu.org-20210506213513-fw8u1je19r5zdlp2
committer: Carl Hansen <carlhansen@gnu.org>
branch nick: trunk
timestamp: Fri 2021-05-07 16:18:08 -0700
message:
  update isl to 0.24
modified:
  pkg/other/isl/Makefile         makefile-20170503051745-yt8gcec0r4upr02a-3
  pkg/other/isl/sha256sums       sha256sums-20170503051745-yt8gcec0r4upr02a-4

=== modified file 'pkg/other/isl/Makefile'
--- a/pkg/other/isl/Makefile    2021-01-13 01:21:08 +0000
+++ b/pkg/other/isl/Makefile    2021-05-07 23:18:08 +0000
@@ -20,7 +20,7 @@
 
 NAME =    isl
 GARNAME = isl
-GARVERSION = 0.23
+GARVERSION = 0.24
 HOME_URL = http://isl.gforge.inria.fr
 DESCRIPTION = Integer Set Library  
 define BLURB

=== modified file 'pkg/other/isl/sha256sums'
--- a/pkg/other/isl/sha256sums  2021-01-13 01:21:08 +0000
+++ b/pkg/other/isl/sha256sums  2021-05-07 23:18:08 +0000
@@ -1,1 +1,1 @@
-5efc53efaef151301f4e7dde3856b66812d8153dede24fab17673f801c8698f2  
download/isl-0.23.tar.xz
+043105cc544f416b48736fff8caf077fb0663a717d06b1113f16e391ac99ebad  
download/isl-0.24.tar.xz