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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
68925

%ISIZE%
232527

%SHA256SUM%
d3dbb4464b9330fbe9e109e719979759f03db3afba53f662f5563cb29fabde14

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAZcACgkQrx0hme8KPM8X8xAAnA44Wi5lWISPlREBPG7dtuPTtH4cXIyJ1YqNFjkjLmg2CX9iFvvYsdDXdMsNygbRNcmWwXabeIyETj0rMHSSsrc38magCBH+vcPDY2bSskj9pTi1NWl+EflRaI7Y7tfmEvTdsEa86zh27C7zSJfP5z7TEn80QtR4wjqCzJDeKIkBL3zwZ/JEuVGASNOBPXWquZGAQP0t1hPCkzDI8nF2fat2J28u9D2p7gIVBF1oWGVE9n3vPaJ4jmdkMlXdzywOrkWv2vt7QDuDXtJLYYxtSlSlhIdGcjblo9wphNBhe7lwpuxgkxcZEba5pZZh+I5vHnwWEIlY1lhYG5ETNLvHnQe9KtLIgSNSPzQEjwsTqD1j2qJ718QAQmwd3I10lO8GqFoCeW9XMLxtqSdn7YGDzY4DLl4RyZGvq9ea6D1+xp01v4vWgmK4T/MXXBS1pheXEDoFlaR1uLJFub+SKlQU0hsfyc1wqWiPT6gi/MNyE33ydXVs71bEpGioifzGEHlx3MvIapbHNADIB0SPm+1NEJrilSmb5K7MzSG0gBl9FeGs0Hj67iECvzBzRA2TdVi3r0So728tPMheIEKa64ao+TaJ7uuIQvh3bMsSrgUGxH41smQKhlCPYmd0I6/CDtgogdboRHHVE8wNRIqkKqRqyl5y5GjaZHCW+kFkJWKPAUs=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774260458

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

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

