%FILENAME%
minisat-2.2.1.20201216-2-aarch64.pkg.tar.xz

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-2

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
65372

%ISIZE%
318399

%MD5SUM%
f9b68ddbe8a04310eb2103320c55b41b

%SHA256SUM%
a1f5d6f4e86658f7f74c514da6cfd6f478c8cb6eb86a023b662d496965d86d8d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmaRyQwACgkQdxk/FSvb5qYiJQ//Ynu7ryDZxAGC9qs3BxT7Dqfz9kshNzvV3XBRPJtDqoYPV+yhiTdb9TEUgnBoC2Jc7aaM+2ETkDmzsHTYDfTapBlhW+mUdQzhxfJo/fI8fNjNEASt6qVPkWxYP+WBjYv7Is4+hafPdHswYzzHEz0V5iN15MuVfBTM9e7pwhZ4GQONzNyZfDD0NY20eGSSuX9P2q8jp9d2YBiaTT3gJzd2HpXciExvZFqbo7c4BfusF9RZw1dawKvGKP0b2tisEloAzsN0LL+T2vPJff2NozaHpFq/qvI2yfq5FXUk8bFoTC5IVoFd7ntW+8Mch97n690RgGkue81prOYh2GXsKGTKHJ8CniXVgsnRRGJ5snMUgdsP0h22Mt1FqW1W36WuN287F0SIE/HUa9fGPRsvJABBbrkNpxOUbbYVKYLaxu8vna7y8KmmFb69WOYhZFtgfpONqs3c1cqNX8WN+kpr221vV5z8IpsLad7MgPHgiIQ3Uiedix15dID4BXLf70zVoKYomCdVPjeWze1/YHOZp43NCW8N1qrp/9tbz07o1Tn0e+ggM9s3Uc/PcJcpwBTvNZmTcfiVjgtwfX3G3cVn51pmy+pXrrpTJIkh0wPMHZUW5oFXx4lqSrhnMcH5MXZu4DoMBaGuMsZWN0a4jZF/y/NG9xhXcUlthfLmJ/UUYPGPS9I=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1720830213

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

%DEPENDS%
gcc-libs
zlib

