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

%NAME%
prover9

%BASE%
prover9

%VERSION%
2009.11A-2

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

%CSIZE%
895504

%ISIZE%
9225668

%MD5SUM%
b233b368b4f74483aaf78c96a8ccd94d

%SHA256SUM%
23db31aa551ecc620960f1501d521a7bb490b5d31d6c6e48aed267fd788ee95d

%PGPSIG%
iQGzBAABCgAdFiEEmY3icxjoZ+qXa6h3OJzu1kVz38oFAmjEBY4ACgkQOJzu1kVz38olkwwAsWiFHDlDaveMnvA0JiYQaU22WX+sMdX/qbIAyqLKlihbxDNZsbBTH+KGKR1LN8YAp495koN2KOkNubQOs1nOyEsVInNr+Tyyb2ooGLqzZgC0tEM2k0el8PHqnNoM80GHavGL9lzt19radwcGcAc+7mTZ8l4xCs44ht8PSKj5CU4yBMv3yO3RLInahg9i7uwYtxDrd6aGtMPT6cmnd7+zhAqkAD3XxBcsvfvTdjt+oAHfAcWuZYI6ON2Rp/BwxVabB1OhHVD3iiarrUdUj/ABVwhjDG8aD5JGw8cfJ0iv7cPSdz5ucrnxla0JKy91qS1jMPHGo9EOa3hNrKnhcMs4b+AlX44yeZIUO2kCRA5MM6bulgCUznQM1Hi5QddA0MC5S83hnW0ehp8c+VwacgvxOR2pggBZUsQKVdNCS0PumOJ0dwvU2cScV5lAoOWddKSUxZKW5rC9pt96KZB0rSwsDNuhd14p/5ne9Zwmy8tXYi8Gyu0bH1LiyOLlHL3caAFX

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

%LICENSE%
GPL-2.0

%ARCH%
x86_64

%BUILDDATE%
1757675117

%PACKAGER%
@termux

