.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

pkgbase = prover9
	pkgdesc = Prover9 is an automated theorem prover for first-order and equational logic
	pkgver = 2009.11A
	pkgrel = 3
	url = http://www.cs.unm.edu/~mccune/prover9/
	arch = i686
	arch = x86_64
	license = GPL
	makedepends = gcc
	makedepends = make
	provides = mace4
	provides = ladr
	source = http://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz
	md5sums = ab409f31ecbb4410b1c7d75deadea2c6

pkgname = prover9