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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
59184

%ISIZE%
206607

%MD5SUM%
419a6b2b8e4bfaeaf3a97165cff6b892

%SHA256SUM%
49cb13b5f29cde1a9f1c3dcee1c8e078ab548bc84a81238691c19754ae8212c9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmC+r9cACgkQdxk/FSvb5qaWUg//aS9IAlyzj3XXVDUtHk8Wy7Fc6hUxeSWmp6HxWBDVbpv7jKpRDBew/LXI1mONQfySqKUIXfjs7TddmSrCHuF3EXf66hzct3HZhz34rEZ7bE1J51lP6HTBh7EWQ7rd9uxyLLZdPW+jigLGUxxSfMjEpBWcARoCugA4XYndQiXQO9z1+pFvN1gduySYDO6qH4rUXaHWyNiHYQUHifxYo1egHdIYp7T3OuBDY6wnkkZtc+LYRvBGXSqbElCadkkTVeEmm/DMnVA6F758pY2u866tn5Tt7hN2MGDnUigRSBSyTeRxLbxg0xKbllVxDmJoeX5rhuZmIlU7BF64f+TDc0JGxM4S1iPkjyjHCCey/vSZH3nqPJgaUcUNzXvS03kCVtiVvjboyIt3+cUnwJeOV0Tch1txTZKnJkrQFjGiq7B6xGsm5t9EAqo81ntE3jwYQTMrRdQW2FiHSCQaFUFeWVkh/CqIfl+XVSsp/+NMWMbBduxtxdOxQN1oUu2LjJmPCeGGYmKRv17MYa7GGAmfsdpYuPZywY6LAm5PKCHm2aJq8W30c+pQ9+yJhhJEAvhwEp4OS7FAuniUEQDTq2qQk39aqnqDJI/8JzWxkAHk865k47nhjUPM9VuPy5GkLlWSug0OZMkXG7CBFtmNIqUXIMaYq//g07mUXdcpcDjgBTAbhBY=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1623109579

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

