pkgbase = barvinok pkgdesc = A library for counting the number of integer points in parametric and non-parametric polytopes pkgver = 0.41.1 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.1.tar.xz md5sums = 61a08e4461c4c1936d4d18cb99a2ae22 pkgname = barvinok