Update to 5.1.0

2 files changed, 8 insertions, 8 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 58a3a1249d1e..60bb0f468843 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,10 +1,10 @@
 # Generated by mksrcinfo v8
-# Wed Oct 12 21:44:12 UTC 2016
+# Mon Oct 24 20:55:16 UTC 2016
 pkgbase = clingo
 	pkgdesc = Grounding tools for (disjunctive) logic programs.
-	pkgver = 5.0.0
+	pkgver = 5.1.0
 	pkgrel = 1
-	url = http://potassco.sourceforge.net/
+	url = https://potassco.org
 	arch = x86_64
 	arch = i686
 	arch = armv6h
@@ -14,8 +14,8 @@ pkgbase = clingo
 	makedepends = bison
 	makedepends = re2c
 	makedepends = scons
-	source = https://github.com/potassco/clingo/archive/v5.0.0.tar.gz
-	sha1sums = 4242bbc03227a16e29760275bb08d9eb657c49e5
+	source = https://github.com/potassco/clingo/archive/v5.1.0.tar.gz
+	sha1sums = 6025b97e64de4f938c76c98d2e3b6e0a0c366c1f
 
 pkgname = clingo
 
diff --git a/PKGBUILD b/PKGBUILD
index ec101fc5cd11..3b1d323ffc59 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,16 +2,16 @@
 
 pkgname=clingo
 groups=('potassco')
-pkgver=5.0.0
+pkgver=5.1.0
 pkgrel=1
 pkgdesc="Grounding tools for (disjunctive) logic programs."
 arch=('x86_64' 'i686' 'armv6h' 'armv7h')
-url="http://potassco.sourceforge.net/"
+url="https://potassco.org"
 license=('GPL3')
 depends=()
 makedepends=('bison' 're2c' 'scons')
 source=("https://github.com/potassco/${pkgname}/archive/v${pkgver}.tar.gz")
-sha1sums=(4242bbc03227a16e29760275bb08d9eb657c49e5)
+sha1sums=(6025b97e64de4f938c76c98d2e3b6e0a0c366c1f)
 
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"