%FILENAME%
minisat-2.2.1.20201216-1-armv7h.pkg.tar.xz

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
59096

%ISIZE%
206615

%MD5SUM%
927af52183c91f9b29ea1e3db7d3bc33

%SHA256SUM%
76bfeda18251b7695b650ee2ad930a4a4d4c2f7d29925a130a697db6bf4875dc

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmC+jT0ACgkQdxk/FSvb5qZMkxAAlqLuGulZHJjFrLLwn6O90HN+vt6K/M0/EMz9LEaiHOUjtGqfMkWa0eJwD6Ko8ASrICqbWtZnsmuTPXKtMRd/z0B7PbTzCcs7kvjQRnQurgjrVm1Qlyu/XGUQWqHZNsro6fcXVzw8CKAI2fTYI1pJ9i6fBdc52YoOV4M9vvFoc731BLAgAYOOOqAOUZdq9puD4ItW9r6DjWlK0uLbQfk0a50dp/kJpox1j763OGWxua54A7SQ9wrAD7IPu5y3AWGOY9MmCIxujQ0Y34Rui1XMecsLL3f9JM9GWv5kcimv/Czfb+jQkfXHkmK1Gso6mWBC8u3BkIPiuM/EvUqAtu7gbBJIIXvR6Y53aRMl7DjGWXTqQhI0LRU3vVSY5uUR1nuDvMnocbPXOms/IrCBo+2J6mHUwPTppQL2nkrzdbPQIFNzwyyoUxZrmFdh+c1f+kephTAJMKvs4IEkAu1vZq5Yfh/ZBGw2Apw19qiUO7zN9bIarcbjDgaNgnWfMfsGe1O00gehESuPmmqpB2W++GlFnje66XA4yKobXbMDUiMEqIw99ja3JZ58xjNTQwoYc3b8oHJOZystTT2BytXUT5EowQHXl5DRkVDBJo6dGJZze2RmmQCbjHabx88q2cbd6wTLsukZ/0RA88pq+FyBT7w7ng86gTX0eh3bGeJpsgohFZY=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1623100722

%PACKAGER%
Arch Linux ARM Build System <builder+xu2@archlinuxarm.org>

