1 files changed, 5 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 8de2d6677438..552ef1e6b328 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,8 @@
+# Generated by mksrcinfo v8
+# Thu Nov 17 19:17:23 UTC 2016
 pkgbase = cryptominisat4
 	pkgdesc = A modern, multi-threaded, feature-rich, simplifying SAT solver
-	pkgver = 4.2.0
+	pkgver = 4.5.3
 	pkgrel = 1
 	url = http://www.msoos.org/cryptominisat4/
 	arch = i686
@@ -13,8 +15,8 @@ pkgbase = cryptominisat4
 	depends = boost-libs
 	depends = intel-tbb
 	optdepends = python2: python module
-	source = http://msoos.org/largefiles/cryptominisat-4.2.0.tar.bz2
-	md5sums = d12ed2839160ad946a3925c8eec94a39
+	source = cms4-4.5.3.tgz::https://github.com/msoos/cryptominisat/archive/4.5.3.tar.gz
+	md5sums = 7ad723a166409ef567224dd45554c45e
 
 pkgname = cryptominisat4