pkgname = prover9
pkgbase = prover9
pkgver = 2009.11A-2
pkgdesc = An automated theorem prover for first-order and equational logic 
url = https://www.cs.unm.edu/~mccune/prover9/
builddate = 1757675117
packager = @termux
size = 5592060
arch = arm
license = GPL-2.0
