MathSAT 5.6.5

2 files changed, 8 insertions, 11 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 6c843303c3f5..9c566f88e4a9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,15 @@
 pkgbase = mathsat-5
 	pkgdesc = MathSAT 5 is an efficient SMT solver supporting a wide range of theories and functionalities
-	pkgver = 5.2.10
-	pkgrel = 3
+	pkgver = 5.6.5
+	pkgrel = 1
 	url = http://mathsat.fbk.eu/
-	arch = i686
 	arch = x86_64
 	license = GPL
 	license = LGPL
 	license = custom
 	options = staticlibs
-	source = mathsat-5-5.2.10.tar.gz::http://mathsat.fbk.eu/download.php?file=mathsat-5.2.10-linux-.tar.gz
-	md5sums = 124503e736ebb0240606fd370d6c5651
+	source = mathsat-5-5.6.5.tar.gz::http://mathsat.fbk.eu/download.php?file=mathsat-5.6.5-linux-x86_64.tar.gz
+	md5sums = 9f5bb2a3f664a92ec91a72b46a4e13c2
 
 pkgname = mathsat-5
 
diff --git a/PKGBUILD b/PKGBUILD
index 3d0214ac0f5c..7b7cb0ba9185 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,20 +2,18 @@
 # Contributor: Kirill Gagarsky <???>
 
 pkgname=mathsat-5
-pkgver=5.2.10
-pkgrel=3
+pkgver=5.6.5
+pkgrel=1
 pkgdesc="MathSAT 5 is an efficient SMT solver supporting a wide range of theories and functionalities"
-arch=('i686' 'x86_64')
+arch=('x86_64')
 url="http://mathsat.fbk.eu/"
 license=('GPL' 'LGPL' 'custom')
 
 download_arch=$CARCH
-[[ $CARCH == "i686" ]] && download_arch="x86"
 
 source=("$pkgname-$pkgver.tar.gz::http://mathsat.fbk.eu/download.php?file=mathsat-$pkgver-linux-$download_arch.tar.gz")
 
-md5sums=('124503e736ebb0240606fd370d6c5651')
-[[ $CARCH == "i686" ]] && md5sums=('69200ea86f663d93c2d1df6c4b17655d')
+md5sums=('9f5bb2a3f664a92ec91a72b46a4e13c2')
 
 options=('staticlibs')