%FILENAME%
stp-2.3.4-1-aarch64.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-1

%DESC%
Simple Theorem Prover

%CSIZE%
789116

%ISIZE%
3013315

%MD5SUM%
631add651c7d716507932dbcd691342e

%SHA256SUM%
43147db359d77422164792fc2732f88092f33719dae1706a38e0bc1729ae2972

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmbWPx4ACgkQdxk/FSvb5qZGeA//ZPAXdu6HJmtvy/bIk8OVxA04dTBwGEgE27xhfm/5Q5RxeNuUfTd1XydhFH1XKNsQpSDiQNcWmdFsXAykiP+6/piCQVF4QdWVSGg+5aUeRAhDDIC5weERkuIeUAwi+dpLmlnvsPpzmgqb4FZJJJYs4b1X58ftO/axndZnAghR00/OkRgzobi5Fg4qzIzcOKdPEMKlftGEq9xMPEcrPRpWSALhKCtSuUF7glBYPUv3UD5gZpEoFKSHgTuZ8GhVQD7EwfkBjWRUgR5kRUCpSINhLIODYbLilcSOBxpSNWiC6b7ZvR1nzzfD3lKVvbtzjBPYVFMOV5zl5vkOwz0Ru7iSYZphAHc7I0Cb8oXx1bglXWxN6f9dnrjioAC7v1vxMtV7c5pa0VqgS9Zi7GUOcwAVzT/gUOeZUfzFLoojrgPiphEbeUYDo8kFXjuK6/h6GnR4DJaY4MR6nYh4yn7wMKTfthcB7JcYVgD4qPYL/eUVosML3RQoatVR6wq7W6mlELfFf6KhmJ3imWH/y+Y8mlJFj59Jx5W8tgapDzCSl0WJbKAQQxHxub1VxcXpkYaq68weg5lizZ4qzgo3RkOYuGk8q+wHU47KyCEz1LiKYcb4cyT6lZbNRfvFP8HaJ9lJxuEtshOEX0Qrb7EAG0SiEziCZN9AUpC0Seq3LuO6pli8vO0=

%URL%
https://stp.github.io/

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1725316824

%PACKAGER%
Arch Linux ARM Build System <builder+n1@archlinuxarm.org>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools

