pkgbase = isl pkgdesc = Library for manipulating sets and relations of integer points bounded by linear constraints pkgver = 0.17.1 pkgrel = 1 url = http://isl.gforge.inria.fr/ arch = i686 arch = x86_64 license = MIT depends = gmp source = http://isl.gforge.inria.fr/isl-0.17.1.tar.xz sha256sums = be152e5c816b477594f4c6194b5666d8129f3a27702756ae9ff60346a8731647 pkgname = isl