pkgbase = stp
	pkgdesc = Simple Theorem Prover
	pkgver = 2.3.3
	pkgrel = 1
	url = https://stp.github.io/
	arch = i686
	arch = x86_64
	license = MIT
	makedepends = cmake
	makedepends = git
	depends = bison
	depends = boost
	depends = cryptominisat5
	depends = flex
	depends = minisat-git
	depends = python2
	source = https://github.com/stp/stp/archive/2.3.3.tar.gz
	source = mandir.patch
	sha256sums = ea6115c0fc11312c797a4b7c4db8734afcfce4908d078f386616189e01b4fffa
	sha256sums = 4c09301c5a36cd89845a7177e1215008f8bbb23fa6f3c6cc941006825e28c327

pkgname = stp