pkgbase = barvinok pkgdesc = A library for counting the number of integer points in parametric and non-parametric polytopes pkgver = 0.41.3 pkgrel = 1 url = http://barvinok.gforge.inria.fr/ arch = x86_64 license = GPL depends = ntl depends = isl>0.19 depends = polylib-gmp source = http://barvinok.gforge.inria.fr/barvinok-0.41.3.tar.xz md5sums = f6fc7dced67d518f1462e39f5b958a37 pkgname = barvinok