1 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index db01a19d3cc2..58a3a1249d1e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Thu Apr 14 11:56:58 UTC 2016
+# Wed Oct 12 21:44:12 UTC 2016
 pkgbase = clingo
 	pkgdesc = Grounding tools for (disjunctive) logic programs.
-	pkgver = 4.5.4
+	pkgver = 5.0.0
 	pkgrel = 1
 	url = http://potassco.sourceforge.net/
 	arch = x86_64
@@ -14,8 +14,8 @@ pkgbase = clingo
 	makedepends = bison
 	makedepends = re2c
 	makedepends = scons
-	source = http://downloads.sourceforge.net/project/potassco/clingo/4.5.4/clingo-4.5.4-source.tar.gz
-	sha1sums = bf039e6aacefba7814de1e9c82e57da0784839fb
+	source = https://github.com/potassco/clingo/archive/v5.0.0.tar.gz
+	sha1sums = 4242bbc03227a16e29760275bb08d9eb657c49e5
 
 pkgname = clingo