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

%NAME%
prover9

%BASE%
prover9

%VERSION%
2009.11A-2

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

%CSIZE%
933748

%ISIZE%
10218932

%MD5SUM%
82d9605fc94db6633d1fcd6d4f50ef8e

%SHA256SUM%
7440a28b79389e0226b87e5ec5bcf3617da6b88707451062ea0c55411ab426b3

%PGPSIG%
iQGzBAABCgAdFiEEmY3icxjoZ+qXa6h3OJzu1kVz38oFAmjEBT8ACgkQOJzu1kVz38oweQv/SYeH4//M7kTkVhmKh0E+P0JcGl/ufdMowIAu6YZXfZfmyBop+LVsCqPOXAW96mk+yAndqlGPD8EckCIoW4tIqxQf35+W+TEIE/hUu3cOeagHra6n1BONhvM1Kfx36OkglfSKsn+buIAjK5D3kiz4HjBRLIl29v0YWeWyHnrBR9l0peaMCi3XtqOJOF5t9Rve4aL7nBNLwRQv/ppGhbiMIIdOiIVnIhzyvp5xkKL/AKzLcD5228VJdkueoYHvFtW+jWn4lILe7BDgYQXsBIA7/9UZGFxsB7TyBervkXEvkbEiTAJzVMWEzBGyws4NPo7p6/SdKl9OjIJW+KmgFJ+/xEdXOpUbe4lvmj4bihTDvasMCqqP2CvwFqTWpPyPINT9iIpoxPncLXUveaplAI2OK0S/qaalsPtZd5gE47jOuYidE8zLmFr/O1qcXcnqg0Dq1FPTUFlE4zIlyn4ruJQ1SL9EILfBewQccnI83sG0NVuw69/sko9PN3STsNK6fdM/

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

%LICENSE%
GPL-2.0

%ARCH%
i686

%BUILDDATE%
1757675117

%PACKAGER%
@termux

