%FILENAME%
minisat-2.2.1.20201216-2-x86_64.pkg.tar.zst

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-2

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
67936

%ISIZE%
228455

%SHA256SUM%
4834540591caa42f226b762861d1c123dd305f0a33edc1e80b3fcb175989711e

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOlgACgkQrx0hme8KPM8kHA//XIb3Ue4zNkgJjGxnMDYV+B8G9DXO8acOxbfhMVDtNXF7rNQIpZi/fNbtUktppcV6T9loo1iReqi7hkQsPWrh79tWb07UkBOrYftLVlu2N1IzrK02KoMK6zoUSTBsqWG2ikYARZqSzcn6AxKYOKqW3oJkdRPf3VznlEqvs5ze8tvRna0lXZ1G4Oav7t4hpPDYmVSctsIowPy62m27Vk+e8/5HoZjMKKC3n8BSa4Z4tXfLJs1QtIqQx1BRGxIsOSycWy/ul8GwCY9JlkjrfL19aPT235GJ8TGg2EBQyTt1tJ21l9MfujxUplzthc1BPSWBO1oCVi2u9EV57bR65yu1HDiCK/gd1HwNvoZKLG3BKxDvwgiU6hEdSj24W8amXTRBolIR7Pi7QS4m0r8X0hM5upI1PuIKeVtl0KB2F2eqZq1KCYDr8vdJnighIbjnMZs4leABikgB/G6BJ1L6QL7ewRR33p3MiJDvgCf3U/beuoc7FidAQOjzCJmLWRM4M8PVfLBBohBjQSQYaN0DpKLZe84LFGJPio4Kouttw8UTibKj23H9/DvO1KPF2zdMNCVyY3uD3yTIiXqbJoSMHiLWtyzwxyjVkxp4QMMkNjMl1zF6kAIqd9J0uTfAzgU4cYgq0F04qRw2KLJPUeM2xJYQpZu/ZU0T/nidUyghatSaQuU=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1720826070

%PACKAGER%
T.J. Townsend <blakkheim@archlinux.org>

%DEPENDS%
gcc-libs
zlib

