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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
64452

%ISIZE%
228239

%MD5SUM%
b8a47e2f6ef8d2e11cfef18acf72bea7

%SHA256SUM%
f1337d37d2dea68807829782dc2eba32de8b8cbb1d3fe70d763e269ec1f0f9d0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmC+g6kACgkQdxk/FSvb5qYcexAAnKg8y7GICFs0MxDRuBs9tL4HWoDDQV4b6GDRqDa74AaCYCfV17dCZFhNNF367wpvtOCqUcFZ13W3DL7zVjUywMG7wvBba7bV88WcSjoQPU7fuWSq28Ad5Exgc2xpp8p+OpQ1MUIeol3MiXEEgEiTxOq3vlhdnRz3rlaS1DKTmLZ6ioqXX+3ZgMTJN6j3RvUNrfAmDqFlt+ubdF/EfGJfUFyas+ZDN11ByGlHL2VQhOV0cOlpO4O6Q2RiuLKQ+Cns4R9quibQzaqhUshwmzj/gR5eDy62LbusUZOdC/dDgqdH6Z1VThp7pUq3ZkL/22Me3SU6oNUIOe8cMoqm8ZZm0craswZ66s1xF3m6t25+KogUzVkFnK50/1q6vzNXvI4ODGch9Gr/P5ZzOGwumFDmMpjOZEeWrao6SpRvJCJKBWB4wSSTRLC2B+BRgWVI0mdrp9HQtAk6pMZi4iLyUEjUNEIGb052jeRzgwg2Y1K027wBCeUyaAS4SnzR0b/sXq3TMoTPOL0PGQHRTPQBIF+Seb0YlmSWrBY/HyUQuHWHrUhltB1PZZx7svTYdHA/mb9kH04y4wgnobs8AZNNFJx2jp10krK2zLaNt1B9CAynUaeK6w1D1QzhXY7834lIsiqJ/5De5YpeCn+UgFp/au3jVehbmEDCqC9XSmpgY7hq/Yg=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1623098273

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

%DEPENDS%
gcc-libs
zlib

