%FILENAME%
minisat-2.2.1.20201216-2.1-x86_64_v4.pkg.tar.zst

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-2.1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
75172

%ISIZE%
248935

%SHA256SUM%
0c9da0c76045e2ba49aaf6b1969ce6951b42b7ffa03017a7f99bd466a01b03ed

%PGPSIG%
iQGzBAABCAAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmaRxzcACgkQ87YHSI2zWkfKtQv/aprPiNbk/yFUUSXPSRQcHMBhn60lvnchIexqt1HJYkpFsbhWOv4qZnXHnSixn2V6+2BaMvyaSLCeqt1b1nImEo05FoTMsPs++Nze5dvmW+LE5hbu4R/fdBCA9Gr+IgAKvbkKQmPA3QWOfp+uObMtvpfGT9QPDpjryBN47e+KYYFEKZvGaldZbMQjc29u1S4/oUyJHGBqoHjDKTmOyDYU8tticOzAc5q6QmFctsagCMFxn54sTtwLPRZz6tUEhrHGrrWNg2acfzDxEAotDl84jEgldXETLAgFO8pXX0W+mbAAFD0dAD+xFVNNKQ8WO2CUZ95PqYWwsNhkkmdonH6leaxRud1597sNWTbQzrlnlAYmEFO6+sqpw4Z8R3LvbWxSdN7hTb7Y3tqMs86lbEM37yzpR+vJ9Oh4aHlliLXsLjzuK5oltBipcjZrzU5ZxaPKG7FckOxb1ad8o7DHQlbpkDiXWEMOVsOu2uN3Wn6R1jwqtBBDeIpqbUiZ2J/HT7ys

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1720829747

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
gcc-libs
zlib

