Update to 3.1.4

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 1a38f4a3ba86..0f033fa6f680 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = clasp
 	pkgdesc = A conflict-driven nogood learning answer set solver.
-	pkgver = 3.1.3
+	pkgver = 3.1.4
 	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.3/clasp-3.1.3-source.tar.gz
-	sha1sums = 9a261b64586092179cc3b327895b9b3521818ee2
+	source = http://downloads.sourceforge.net/project/potassco/clasp/3.1.4/clasp-3.1.4-source.tar.gz
+	sha1sums = 5be43c2a912cdf1ea513e99c3f7173db1cad290d
 
 pkgname = clasp
 
diff --git a/PKGBUILD b/PKGBUILD
index 74e03f9bdc8a..34650c4e91ed 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=clasp
 groups=('potassco')
-pkgver=3.1.3
+pkgver=3.1.4
 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=(9a261b64586092179cc3b327895b9b3521818ee2)
+sha1sums=(5be43c2a912cdf1ea513e99c3f7173db1cad290d)
 
 build() {
     cd "${srcdir}/${pkgname}-${pkgver}"