.SRCINFO


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