# Generated by mksrcinfo v8
# Wed Aug 17 16:05:13 UTC 2016
pkgbase = spass
	pkgdesc = An Automated Theorem Prover for First-Order Logic with Equality.
	pkgver = 3.9
	pkgrel = 1
	url = http://www.spass-prover.org/
	arch = i686
	arch = x86_64
	license = BSD 2-Clause
	source = http://www.spass-prover.org/download/sources/spass39.tgz
	sha512sums = d7ea0697426c476f2e03b2f9078b7e060671067a67fad7144bb5887a2dd3f39e19e1888f121fce546b5d6ea9a4dc458d1cbec56b59c93507e7dc2d0afa25a89b

pkgname = spass