[COPY] --- T2-COPYRIGHT-NOTE-BEGIN ---
[COPY] T2 SDE: package/*/isl/isl.desc
[COPY] Copyright (C) 2013 - 2023 The T2 SDE Project
[COPY] 
[COPY] This Copyright note is generated by scripts/Create-CopyPatch,
[COPY] more information can be found in the files COPYING and README.
[COPY] 
[COPY] This program is free software; you can redistribute it and/or modify
[COPY] it under the terms of the GNU General Public License version 2.
[COPY] --- T2-COPYRIGHT-NOTE-END ---

[I] Library for manipulating sets and relations of integer points

[T] Library for manipulating sets and relations of integer points bounded by
[T] linear constraints

[U] http://isl.gforge.inria.fr

[A] Sven Verdoolaege <skimo@kotnet.org>
[M] Gerardo Di Iorio <arete74@gmail.com>

[C] base/development
[F] CROSS

[L] MIT
[S] Stable
[V] 0.26
[P] X 0-2--5---9 102.250

[D] 66b7d1bf919258af39258bb5d7a14c2983c829c0a25fcc5b6febbf06 isl-0.26.tar.xz https://libisl.sourceforge.io/