1 files changed, 2 insertions, 2 deletions
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}"