summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO12
1 files changed, 7 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index e2e6c7c93e69..b5796a7d04eb 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,15 +1,17 @@
pkgbase = barvinok
pkgdesc = A library for counting the number of integer points in parametric and non-parametric polytopes
- pkgver = 0.40
- pkgrel = 2
+ pkgver = 0.41
+ pkgrel = 1
url = http://freecode.com/projects/barvinok
arch = x86_64
license = GPL
depends = ntl
- depends = isl
+ depends = isl>0.17
depends = polylib-gmp
- source = http://barvinok.gforge.inria.fr/barvinok-0.40.tar.xz
- md5sums = a5c0b48b4e336ee652e6e517d14ea9b6
+ source = http://barvinok.gforge.inria.fr/barvinok-0.41.tar.xz
+ source = fix-missing-isl-include.patch
+ md5sums = a5496a4a93f3f1f26fef07189e12314f
+ md5sums = 44a312463a5688031d26e615b8a22594
pkgname = barvinok