Update to 3.1.3-1

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 0ee48a2929b5..1a38f4a3ba86 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = clasp
 	pkgdesc = A conflict-driven nogood learning answer set solver.
-	pkgver = 3.1.2
+	pkgver = 3.1.3
 	pkgrel = 1
 	url = http://potassco.sourceforge.net/
 	arch = x86_64
@@ -10,8 +10,8 @@ pkgbase = clasp
 	groups = potassco
 	license = GPL3
 	makedepends = clang
-	source = http://downloads.sourceforge.net/project/potassco/clasp/3.1.2/clasp-3.1.2-source.tar.gz
-	sha1sums = bcfbd98a842f3f70a2d0e49f382cc2392ddad7ba
+	source = http://downloads.sourceforge.net/project/potassco/clasp/3.1.3/clasp-3.1.3-source.tar.gz
+	sha1sums = 9a261b64586092179cc3b327895b9b3521818ee2
 
 pkgname = clasp
 
diff --git a/PKGBUILD b/PKGBUILD
index 4be63cb07e17..74e03f9bdc8a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=clasp
 groups=('potassco')
-pkgver=3.1.2
+pkgver=3.1.3
 pkgrel=1
 pkgdesc="A conflict-driven nogood learning answer set solver."
 arch=('x86_64' 'i686' 'armv6h' 'armv7h')
@@ -10,7 +10,7 @@ url="http://potassco.sourceforge.net/"
 license=('GPL3')
 makedepends=('clang')
 source=("http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz")
-sha1sums=(bcfbd98a842f3f70a2d0e49f382cc2392ddad7ba)
+sha1sums=(9a261b64586092179cc3b327895b9b3521818ee2)
 
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"