%FILENAME%
prover9-2009.11A-2-aarch64.pkg.tar.xz

%NAME%
prover9

%BASE%
prover9

%VERSION%
2009.11A-2

%DESC%
An automated theorem prover for first-order and equational logic

%CSIZE%
903048

%ISIZE%
10060780

%MD5SUM%
41b3d73642ee85eadbd2f75f967ee3b6

%SHA256SUM%
c4cfa6f352e8f4b9096cf5b5b3c0c8b91dd9e9750e2a2aaea50cd148ec7b79ac

%PGPSIG%
iQGzBAABCgAdFiEEmY3icxjoZ+qXa6h3OJzu1kVz38oFAmjEBYgACgkQOJzu1kVz38oGfAv9FCcdIo9vO15fxvNHMrGIyYglvpQcSIw65DDgEJtZl3EWyXng1ODBMnhb+wZz6wLUXMEuA9NblK9gtdT0mjhDdk5A6Rr1L/z9VbbYI+JayLJ11mL+Zmed++3gJbmWhP1qv0Si5KUY5GpdJrIIBcAmBwmp1DnBrhL26gGRT2aKzS7c1uu7ZdX3tx/q9M9pcaG2+uDoo5IwqylqamUEPHxIWDkaKSsjrJBd0L/aZ5Gcy0PKkBtpTKSzuPW+qkLhbcvOLKr3NDHpa9mynfZa8JhE1QjgLSi0fERkk94fXaVxKpFQ9cwj6uZ8p6vbRKthO3nmdt5cCnuAwxf0hYm+FwshRCJEplANLoNAe93/aWKL14Gi/ojeSjBnCqJbt6fJGHA0AG12FQkrMIj1BsjT/R+62UmsFxwBN+LCkKXzSE66Rw/8OgVWlWmuWwkmObFRQHl6vHjRO7hMpDOp0jUllbjKKTbWyPLQQofJNZ3XQ4MFGhWohR2r86zNF2q/HkRqZDmk

%URL%
https://www.cs.unm.edu/~mccune/prover9/

%LICENSE%
GPL-2.0

%ARCH%
aarch64

%BUILDDATE%
1757675117

%PACKAGER%
@termux

