%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEFkACgkQrx0hme8KPM802hAAxRKn3bdoIukY5jifnDm+pZxtTmOzf+vI6msFKjygvF7+nNyQJTdJr1tXUZVNpI5BovkAqWITUdTRfE9MLN7gmWdL7zeyoHeu0UXpozSursABHwlIRQJ4TpDTmqiAYXRZyQhjnZ3Lz/pGAxzIaMdpTlQbtVJQnnCuheb4TDvq/2rNdWvSbTCtPVShG/lzE037FM2QK37/kSGamm0rUnhJnuMj4KJIXVY+dY1YmKR0faQU9QJv9rQYm215Q2KN48lQ0jsL02/CykdhebEw7sLsF3NmYyJ3uNeuSMobct8SFwFK07M0riEs6/kQ2Vdu26JZ0lzU/iJcc9JwMx6cji68sMMr1hTCPyKvGulgVOFS0yR3xa4FfAAcuZfd2HpwBwQqIJysvDB0kAuWx+mKsZUnP5iPZRg0NXLB1hD4zt5alPhiHOYsBc5/suMUkF0XQ8Q/CzIk329sdgH59xcxQ7yqxkem6AkMQ5icnAGLAkEXQV1E76Q8ZInBg9xMSUxAziXHmeBf20UpZbVSa9rz4B7MFQdRh/EAY3u/z4Z2D20MC1IFRoF9xW6NQUm8jTpfbSAxdFgJKBsRFdR/wkJsSoOyIPAecFiJrqRRAuQ2nPULP+xhecQg6IBnH3qH1kIppLqFQ/GFi/Kp12ipZOUG9RRw4Deio4cMHjD5sd0ov3gvZ68=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1623087271

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

%DEPENDS%
gcc-libs
zlib

