%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkR0ACgkQrx0hme8KPM8dyhAA7T+BwVGBaEp5bUaWiX9voJezjuovRP9CHz+oGv/yoCxq0jthkeNd0kSexZb99/xzWP3TQ9ruLqgSMJHF1lP0JjlDtOLC9fbDFUvxX0BCg+BTIZRm0C/zZG7yzNxGl2Y2i0yO7U9/9pB5PdeOMFzE4JeIjTOaY4N3cd5FdaEZ6YeHUZvAWNugGG7hZfzdB5pUpAfXPT1zczChGCPHoElXQaIwXH0Q0j9I+DXTfG0ltzgxhqFlBG1Q5RYKzbSeHI2bjb7/6TrhC9Oaix+t0qa90JZ1FLPwE/kdOt706OzXiswb+Q6ZVSioIWjfrekJ3bDdjKNlUIIIQ89CzF+FIEHwVAxOttjyixYzxi19NJ6P/lYIka43k2vqE5QZX8DDP5MOB+txBO9xOTEiMX7w9O740dX2hXa2bROibmcK+WMWrW4naFL4odiuNd/r85JmU/NsxoL7klk2GuxI8WIjGIwieiwizpzGvOEmWUNJ3aFVwtLVZuoArkogVXupzzzI3H1+TKPJ+KreySrLxbanVgyOsF+wQ+S1C15AcIc2yMIQrCXTcuTbH0szF+OtLMP3axgwrK+bHB6alMiIq1DCIL3BzSeetRoTqDhGaeYAp3RrUr7GXQPP0ngVT0a01YGh6mkqTGH4h66cpUuKSXjY4LZj+JwIOFQZ6+Ky8htDupiBEoI=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1720826070

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

%DEPENDS%
gcc-libs
zlib

