Title:          isl-dev.tcz
Description:    isl devs
Version:        0.17.1
Author:         see list of sites below
Original-site:  see list of sites below
Copying-policy: see list of sites below
Size: 60KB
Extension_by:   juanito
Tags:	        integer point set dev
Comments:       dev files for isl
                ----------
                This extension contains:
                isl-0.17.1 - MIT - http://isl.gforge.inria.fr/isl-0.17.1.tar.bz2
                ----------
Change-log:     2014/09/18 first version
                2015/10/02 updated 0.12.2 -> 0.14.1
Current:        2016/10/20 updated 0.14.1 -> 0.17.1