blob: eaa149922446ed9489d10035d61bc579583f569b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
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
|