[Gsrc-commit] trunk r7372: update isl to 0.23

[Carl Hansen]

------------------------------------------------------------
revno: 7372
revision-id: carlhansen1234@gmail.com-20210113012108-qybcqqudinqskj1f
parent: carlhansen1234@gmail.com-20210112231541-9hnyexjcxb4bcmcn
committer: carlhansen1234@gmail.com
branch nick: trunk
timestamp: Tue 2021-01-12 17:21:08 -0800
message:
  update isl to 0.23
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    2019-11-25 20:19:22 +0000
+++ b/pkg/other/isl/Makefile    2021-01-13 01:21:08 +0000
@@ -1,6 +1,7 @@
-# Copyright ©2017,2018,2019 Carl Hansen <carlhansen@gnu.org>
+# Copyright ©2017,2018,2019,2021 Carl Hansen <carlhansen@gnu.org>
 #
 # This file is part of GSRC, the GNU Source Release Collection.
+# http://www.gnu.org/software/gsrc
 #
 # GSRC is free software: you can redistribute it and/or modify it
 # under the terms of the GNU General Public License as published by
@@ -19,7 +20,7 @@
 
 NAME =    isl
 GARNAME = isl
-GARVERSION = 0.22
+GARVERSION = 0.23
 HOME_URL = http://isl.gforge.inria.fr
 DESCRIPTION = Integer Set Library  
 define BLURB

=== modified file 'pkg/other/isl/sha256sums'
--- a/pkg/other/isl/sha256sums  2019-11-25 20:19:22 +0000
+++ b/pkg/other/isl/sha256sums  2021-01-13 01:21:08 +0000
@@ -1,1 +1,1 @@
-6c8bc56c477affecba9c59e2c9f026967ac8bad01b51bdd07916db40a517b9fa  
download/isl-0.22.tar.xz
+5efc53efaef151301f4e7dde3856b66812d8153dede24fab17673f801c8698f2  
download/isl-0.23.tar.xz