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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
68330

%ISIZE%
236239

%MD5SUM%
c36fa0ddd4bc50de73398e3f3ddc46ea

%SHA256SUM%
0c5002901c673164f62d5cd9ae8080a8268afeab624343a157ff833027f232a3

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmC+WNEACgkQeGxj8zDXy5ImJQ/9Hf3lvj8E/H+8A6g/d+Q+hBGVnUGRBTYQKif/SnlzxumBXCjQT+W55hTPavEAYiArRpOHyZAkFA2l40TFsj1AhcjUWHam0dHTzvzVFGDMYez5cuATu2CGU2NXvWhHFyIADXwVS3kKhbFMjjoeB9p4Ihoh22YWRvRyzvd6w+EQC9aGlf8n4moo6vZ+YFGkiZ8IO1udZvU4fv563s/gGmF9GPVDyeC3NPvpMycl1RvsysQEal17uK/mXuhMjCB29dVClumh3ilYudEVygd0JfSq0D8WrYshwW0wNEZ3CZaA15+IltiQF17beq1xbLDDoNZ7zlUtr0/0s5T7DPzNIo4ltXx3bkNjE4lD6f+wHOPCQxIz7w6NpAY+eVX26tZ/saOF0KuVkjXYwyYQhf84D2Od/kpeXXLjDGZMFRBbMj5LDyiR/XNbpzHxrin8JE6BGoTZf3ewbTIkhzt4Qtl4VJHAkpyFP4C/ZZmP/zDXoMl4SaG6ml8okBPe5GbY+jA2Ue5EN0G5yfSFmuHYwDdSfdXoYRxc+lzXZh7qBxAxu+EL44UIEYlS1IM6GTf0RbSu9Af3TJLgfJ6Q6Zfh0y+xlECGsNlxB8vl6NjOezHSniX5B+Q9cGLHlzQWp3Mf/WwE2kp8gLH/DVyk1p6zHXDcY6OxcvUe050z7ZVRNnGmULYwMGg=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1623087271

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
gcc-libs
zlib

