diff options
author | Vincent Bernardoff | 2015-11-15 10:59:32 +0100 |
---|---|---|
committer | Vincent Bernardoff | 2015-11-15 10:59:32 +0100 |
commit | 227be2549aac7a7e47585084033800272ba6b40b (patch) | |
tree | f8540cd2fac562e30ebd0b39ed2920d6a49e2964 | |
parent | 0ef6ec69bf755d25b96d0c3c49cbf67a14468296 (diff) | |
download | aur-227be2549aac7a7e47585084033800272ba6b40b.tar.gz |
Update to 4.5.3-1
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -1,6 +1,6 @@ pkgbase = clingo pkgdesc = Grounding tools for (disjunctive) logic programs. - pkgver = 4.5.0 + pkgver = 4.5.3 pkgrel = 1 url = http://potassco.sourceforge.net/ arch = x86_64 @@ -12,8 +12,8 @@ pkgbase = clingo makedepends = bison makedepends = re2c makedepends = scons - source = http://downloads.sourceforge.net/project/potassco/clingo/4.5.0/clingo-4.5.0-source.tar.gz - sha1sums = 18a56ce1ba8553090707293fbca34332b30d17fd + source = http://downloads.sourceforge.net/project/potassco/clingo/4.5.3/clingo-4.5.3-source.tar.gz + sha1sums = 95459cbc3ed996a32de0166748cd42ef8a857006 pkgname = clingo @@ -2,7 +2,7 @@ pkgname=clingo groups=('potassco') -pkgver=4.5.0 +pkgver=4.5.3 pkgrel=1 pkgdesc="Grounding tools for (disjunctive) logic programs." arch=('x86_64' 'i686' 'armv6h' 'armv7h') @@ -12,7 +12,7 @@ depends=() makedepends=('bison' 're2c' 'scons') source=( "http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz") -sha1sums=(18a56ce1ba8553090707293fbca34332b30d17fd) +sha1sums=(95459cbc3ed996a32de0166748cd42ef8a857006) build() { cd "${srcdir}/${pkgname}-${pkgver}-source" |