Update to 4.5.4

2 files changed, 7 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 564cb6bd40ee..db01a19d3cc2 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,8 @@
+# Generated by mksrcinfo v8
+# Thu Apr 14 11:56:58 UTC 2016
 pkgbase = clingo
 	pkgdesc = Grounding tools for (disjunctive) logic programs.
-	pkgver = 4.5.3
+	pkgver = 4.5.4
 	pkgrel = 1
 	url = http://potassco.sourceforge.net/
 	arch = x86_64
@@ -12,8 +14,8 @@ pkgbase = clingo
 	makedepends = bison
 	makedepends = re2c
 	makedepends = scons
-	source = http://downloads.sourceforge.net/project/potassco/clingo/4.5.3/clingo-4.5.3-source.tar.gz
-	sha1sums = 95459cbc3ed996a32de0166748cd42ef8a857006
+	source = http://downloads.sourceforge.net/project/potassco/clingo/4.5.4/clingo-4.5.4-source.tar.gz
+	sha1sums = bf039e6aacefba7814de1e9c82e57da0784839fb
 
 pkgname = clingo
 
diff --git a/PKGBUILD b/PKGBUILD
index 28739117fd09..5413f743bf7b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=clingo
 groups=('potassco')
-pkgver=4.5.3
+pkgver=4.5.4
 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=(95459cbc3ed996a32de0166748cd42ef8a857006)
+sha1sums=(bf039e6aacefba7814de1e9c82e57da0784839fb)
 
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}-source"