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

%NAME%
prover9

%BASE%
prover9

%VERSION%
2009.11A-2

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

%CSIZE%
538408

%ISIZE%
5592060

%MD5SUM%
662006d986b63ec838afaf8f3bd21d2a

%SHA256SUM%
e4369f67060459eb0a5e8c2e9fc8fc3581fedd05efa020626786b1b68d1ea500

%PGPSIG%
iQGzBAABCgAdFiEEmY3icxjoZ+qXa6h3OJzu1kVz38oFAmjEBY8ACgkQOJzu1kVz38oJvQv6AwIY6yRwGmBcGGOVQ7EqXswhqE3CLa1lmQAk8eXV0rmnApGjZkwU6j/RW5oKPpw7K9vMHi5j9razt3dAaAUgHdrJekCYA36znWiMc+CSz5CwsyR+i8U0z85iR6VAWp4dMSHOU8AeXcxdpW40R2Z9U6hGwVjElj5xNPyOsOZBnpYe17SnugYiQaETGtoCjQ2/Oy2QCBtAtxRSasc3AepLFxnJgJPh95Qaf/UUFvGa+H2VaPKIad5Qj5pdMBKUl05PRlkWH+MgLBkfxo/5aVdnzDCYXD64e3gNikssMz/mXzuyh9XSCW4ucD1cpQ0wQ5ALYKp4rhtybusdLZboczAFa5BYqcP/lOSpED/q87jUHJC//hzFYBV7oDURcpVoXCYUBPS2l+Xd/yLVJw90RezkbTqWeOk2OheF+5UsKOsz/aU5bTVbOvxuQr61Wul0qJP72Mzooubx2yG/9BsoJpYTq4Mkgvtwb+tfv+JAs78oYg94eNemD3ElHM6zut1vCysB

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

%LICENSE%
GPL-2.0

%ARCH%
arm

%BUILDDATE%
1757675117

%PACKAGER%
@termux

