1 files changed, 23 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..e4b302a2b891
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,23 @@
+# Generated by mksrcinfo v8
+# Sat Apr 23 23:55:27 UTC 2016
+pkgbase = stp
+	pkgdesc = Simple Theorem Prover
+	pkgver = 2.1.2
+	pkgrel = 1
+	url = https://stp.github.io/
+	arch = i686
+	arch = x86_64
+	license = MIT
+	makedepends = cmake
+	makedepends = git
+	depends = bison
+	depends = boost
+	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
+
+pkgname = stp
+