summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO3
1 files changed, 2 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 86ec06e31256..85aea9f3611b 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -5,9 +5,10 @@ pkgbase = isl15
url = http://isl.gforge.inria.fr/
arch = i686
arch = x86_64
+ arch = armv7h
license = MIT
depends = gmp
- provides = isl
+ provides = isl=0.15
conflicts = isl-git
conflicts = isl
options = !libtool