%FILENAME%
stp-2.4.1-2-x86_64.pkg.tar.zst

%NAME%
stp

%BASE%
stp

%VERSION%
2.4.1-2

%DESC%
Simple Theorem Prover

%CSIZE%
1272782

%ISIZE%
3426946

%SHA256SUM%
a2c7bb9330afd09674a77e9f049e2c255b9a4ccfb5dbef5afec0ba7763a446ba

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAlsACgkQrx0hme8KPM/JqQ/8Cv3OhxC9eqTWwkfMAIha6fhHgTn1jEjXwflBN8x7cmcOR+rS6p76ol3deuYjFS+mV8FYo8qKUASsXTTdQZZgqWrWJKAEYh1wJklHdwHCPFAOSl99toSx7uOREgTtEBLNyQUErqLur+VhN/H8beX0FEotfQx9QQ4bc1BDJa7CIqgpqFT7+1fhKvziGrK5/6s/6TvFIHg64Ik2JkMwwYySM+mP6ofuG7676rDbVt8t4qBNu28cOyTXxVYSAq+w+sT/ZWw1oXcWkwvtVnJ8Q8hPuYbjZT8xFe5EtIbcAdtSL0qkEcMcTLxVuIU9q6UFv+pC5+/agWymkpFmGxxOtt7VrXrmkaEtVks1YGosB5O3QvRFXdfOUxoVsVPdCnAKVJ39E1YfBE9ThUIvbrkuEEQVKP6/wg80araDdMExPRQXZdi3PUe+U54x1UY5WEtsmAMHmdy+pFnpfJcnHejfh66VJ2OXad5w6hZa0EocDHIqgV+oM9fdlA9jy1wS/yS12nnFDyaBhcouODAvOMDFt42vWvhXVy2F1GEEXRfwdoAG5YHfbf3KSYiFRe+gY5T+pR4b72DqVVyXIXEANhFWlKLa4rI8vs2Owyk05FdDBreHq9NXwMb2cOnMlgPKiqmzjHbvjAr5Pq1qwa7JpWXXN/ZID0h9cDiXPTvYz+rwPIkbeV0=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1791621038

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools
git

