Title:          isl-dev.tcz
Description:    isl devs
Version:        0.24
Author:         see list of sites below
Original-site:  see list of sites below
Copying-policy: see list of sites below
Size: 432KB
Extension_by:   juanito
Tags:	        integer point set dev
Comments:       dev files for isl
                ----------
                This extension contains:
                isl-0.24 - MIT - https://gcc.gnu.org/pub/gcc/infrastructure/isl-0.24.tar.bz2
                ----------
Change-log:     2014/09/22 first version
                2015/10/31 updated 0.12.2 -> 0.14.1
                2016/10/17 updated 0.14.1 -> 0.17.1
                2017/12/06 updated 0.17.1 -> 0.18.0
                2020/12/14 updated 0.18.0 -> 0.23
                2021/10/31 updated 0.23 -> 0.24
Current:        2023/12/08 recompiled on tc-15.x