pkgbase = isl15
	pkgdesc = Library for manipulating sets and relations of integer points bounded by linear constraints
	pkgver = 0.15
	pkgrel = 1
	url = http://isl.gforge.inria.fr/
	arch = i686
	arch = x86_64
	license = MIT
	depends = gmp
	provides = isl
	conflicts = isl-git
	conflicts = isl
	options = !libtool
	source = http://isl.gforge.inria.fr/isl-0.15.tar.gz
	md5sums = ca0e2d172ff0b57764b10867c8fc762f

pkgname = isl15