summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO9
1 files changed, 5 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 7cf3a13c6dba..de326c967477 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,14 +1,15 @@
pkgbase = barvinok
pkgdesc = A library for counting the number of integer points in (non-)parametric polytopes
pkgver = 0.41.6
- pkgrel = 1
- url = https://barvinok.sourceforge.io/
+ pkgrel = 2
+ url = https://repo.or.cz/barvinok.git
arch = x86_64
license = GPL
+ makedepends = git
depends = ntl
depends = libisl>0.19
depends = polylib-gmp
- source = https://barvinok.sourceforge.io/barvinok-0.41.6.tar.xz
- sha256sums = 1e647f847af44fced0eb554b82452f2ff7a9ab2bcb618eee3a49e44eb4f8b2dd
+ source = git+https://repo.or.cz/barvinok.git#tag=barvinok-0.41.6
+ sha256sums = SKIP
pkgname = barvinok