%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn32wACgkQrx0hme8KPM8WaRAAhRWpnlIPomRNmpEME+5zQ/fASxcLcur9PCFj67WU2v8BaiC6d/fGEkQFpFbyDO7bLComJpnoPDKx8p281HPbxDnxVnC8cVeTQCVqseRr+DyCxYbOwh0vh7MAZEIfEyGetWaU5VJ3E24MHKKHLoZEzvRlbMlAZ5ReDgwsxkuQTVi5iBzzf+dOjgI9ZHMRN3HSurSimRQo7v9Xnekp+zqv3zLTdDfAnU0E1Fi2pNru8XwfLfKtbucMpCf6XSnSUPAQmMFtAEFXuqGw7x4hYcxh8wVjQFWzraejAe38spS5tVIk7rsfeFCKc4YhvbJnLEIX6hRly50X1jV/ou/57BHXqjy5neBKMWTQ627R5y/ZIWrzSRMX1YDfZlaCUEz6B5jQTTnBPEXaYD52Hpr+NXIskFUnqSapDD3amHaI5vmrUu5KHinOVZ2X1/Zlhmwy8eXDV2/HEymXBE1NrPomK6qigBeDysZ3QvcbDzrcSgMieW5ntFQ6nfW9pElbHOz33P9inak0Univ3DLyIi5U4nMmyr84kv0sNAGIAcb3RTE0IU3CmqJDcn7C/hfU5jS0gbS8hCfg9z4vKNelxcYgATcFGz3BSs2P02oPBy2PR2AgOJduS4gjWltD0JRXuH04oPE8rKJ4Fw9IRXK3OIPRYoYu4DBBzb13lXP/T1XedjkvM4c=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774260458

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

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

