* updated krdc (21.12.1 -> 21.12.2), untested
[t2-trunk.git] / package / develop / isl / isl.desc
blobac28acb08ca8ee71c24174eaf9c16e726c37a6e6
1 [COPY] --- T2-COPYRIGHT-NOTE-BEGIN ---
2 [COPY] T2 SDE: package/*/isl/isl.desc
3 [COPY] Copyright (C) 2013 - 2022 The T2 SDE Project
4 [COPY] 
5 [COPY] This Copyright note is generated by scripts/Create-CopyPatch,
6 [COPY] more information can be found in the files COPYING and README.
7 [COPY] 
8 [COPY] This program is free software; you can redistribute it and/or modify
9 [COPY] it under the terms of the GNU General Public License version 2.
10 [COPY] --- T2-COPYRIGHT-NOTE-END ---
12 [I] Library for manipulating sets and relations of integer points
14 [T] Library for manipulating sets and relations of integer points bounded by
15 [T] linear constraints
17 [U] http://isl.gforge.inria.fr
19 [A] Sven Verdoolaege <skimo@kotnet.org>
20 [M] Gerardo Di Iorio <arete74@gmail.com>
22 [C] base/development
24 [L] MIT
25 [S] Stable
26 [V] 0.24
27 [P] X 0-2--5---9 102.250
29 [D] 2cf2695afb823f740c8e5e3014066bf4a3e73d7cc9d73bac9eb3f3ab isl-0.24.tar.xz https://libisl.sourceforge.io/