1 files changed, 7 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index e4b302a2b891..eaa149922446 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,6 @@
-# Generated by mksrcinfo v8
-# Sat Apr 23 23:55:27 UTC 2016
 pkgbase = stp
 	pkgdesc = Simple Theorem Prover
-	pkgver = 2.1.2
+	pkgver = 2.3.3
 	pkgrel = 1
 	url = https://stp.github.io/
 	arch = i686
@@ -12,12 +10,14 @@ pkgbase = stp
 	makedepends = git
 	depends = bison
 	depends = boost
+	depends = cryptominisat5
 	depends = flex
 	depends = minisat-git
-	source = https://github.com/stp/stp/archive/2.1.2.tar.gz
-	source = cmake-git.patch
-	sha256sums = d7f118324a534cfa33cabe7302e717f960a3d29e01c5cabc9232d21683f0085d
-	sha256sums = cedc57c9e375b145dcd9f3586505477737315194e260de0f689b7715b2088312
+	depends = python2
+	source = https://github.com/stp/stp/archive/2.3.3.tar.gz
+	source = mandir.patch
+	sha256sums = ea6115c0fc11312c797a4b7c4db8734afcfce4908d078f386616189e01b4fffa
+	sha256sums = 4c09301c5a36cd89845a7177e1215008f8bbb23fa6f3c6cc941006825e28c327
 
 pkgname = stp