summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTheodoros Theodoridis <theodoridisgr@gmail.com>2018-07-29 18:40:18 +0200
committerTheodoros Theodoridis <theodoridisgr@gmail.com>2018-07-29 18:40:18 +0200
commit6233f54e716084c66b4d56bf68c64b34bc872b8e (patch)
tree61c7af12f6d78e12a5dbb1645c05e73c64885f78
parentfb371e6184b6fd5c5aae7079de5c693a5ba6413e (diff)
Update to version 0.20
-rw-r--r--.SRCINFO19
-rw-r--r--PKGBUILD8
2 files changed, 23 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 0d517ad..02d04d9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -17,3 +17,22 @@ pkgbase = isl
pkgname = isl
+pkgbase = isl
+ pkgdesc = Library for manipulating sets and relations of integer points bounded by linear constraints
+ pkgver = 0.20
+ pkgrel = 1
+ url = http://isl.gforge.inria.fr/
+ arch = i686
+ arch = x86_64
+ license = MIT
+ depends = gmp
+ conflicts = isl-git
+ conflicts = isl14
+ conflicts = isl15
+ conflicts = isl16
+ conflicts = isl17
+ source = http://isl.gforge.inria.fr/isl-0.20.tar.xz
+ sha256sums = a5596a9fb8a5b365cb612e4b9628735d6e67e9178fae134a816ae195017e77aa
+
+pkgname = isl
+
diff --git a/PKGBUILD b/PKGBUILD
index f36353c..6cbd93a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,9 @@
-# Maintainer: sudokode <sudokode@gmail.com>
+# Maintainer: Kritias <theodoridisgr@gmail.com>
+# Contributor: sudokode <sudokode@gmail.com>
# Contributor: Allan McRae <allan@archlinux.org>
pkgname=isl
-pkgver=0.19
+pkgver=0.20
pkgrel=1
pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
arch=('i686' 'x86_64')
@@ -11,8 +12,7 @@ depends=('gmp')
license=('MIT')
conflicts=('isl-git' 'isl14' 'isl15' 'isl16' 'isl17')
source=("http://isl.gforge.inria.fr/$pkgname-${pkgver}.tar.xz")
-sha256sums=('6d6c1aa00e2a6dfc509fa46d9a9dbe93af0c451e196a670577a148feecf6b8a5')
-
+sha256sums=('a5596a9fb8a5b365cb612e4b9628735d6e67e9178fae134a816ae195017e77aa')
build() {
cd $pkgname-$pkgver