[Gsrc-commit] trunk r6121: update isl to 0.20

[Carl Hansen]

------------------------------------------------------------
revno: 6121
revision-id: address@hidden
parent: address@hidden
committer: Carl Hansen <address@hidden>
branch nick: trunk
timestamp: Tue 2018-12-18 18:55:34 -0800
message:
  update isl to 0.20
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    2018-04-21 06:05:46 +0000
+++ b/pkg/other/isl/Makefile    2018-12-19 02:55:34 +0000
@@ -19,7 +19,7 @@
 
 NAME =    isl
 GARNAME = isl
-GARVERSION = 0.19
+GARVERSION = 0.20
 HOME_URL = http://isl.gforge.inria.fr
 DESCRIPTION = Integer Set Library  
 define BLURB
@@ -31,7 +31,6 @@
 solver based on generalized basis reduction.
 endef
 
-# bug: doesn't install the manual, yet
 
 ######################################################################
 

=== modified file 'pkg/other/isl/sha256sums'
--- a/pkg/other/isl/sha256sums  2018-04-21 06:05:46 +0000
+++ b/pkg/other/isl/sha256sums  2018-12-19 02:55:34 +0000
@@ -1,1 +1,1 @@
-6d6c1aa00e2a6dfc509fa46d9a9dbe93af0c451e196a670577a148feecf6b8a5  
download/isl-0.19.tar.xz
+a5596a9fb8a5b365cb612e4b9628735d6e67e9178fae134a816ae195017e77aa  
download/isl-0.20.tar.xz