diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -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 |