%FILENAME%
cryptominisat5-5.11.12-2-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.12-2

%DESC%
A modern, multi-threaded, feature-rich, simplifying SAT solver

%CSIZE%
884468

%ISIZE%
2744468

%MD5SUM%
64ee441b64bbce6e8e7d9caa3c75b642

%SHA256SUM%
4769f9533cd678d382d157b424f125a64c64e4b2d48013945b670275470c08cd

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmTzWogACgkQdxk/FSvb5qYFOQ/+JUGRURlYf+XJkMizugaV9+EpRvXGVaWyVKQtIeCVmNp24hblb+0DXr56d347WMiwqHuaY59x1NLW6o3jFbX9q/8W83GZ/5qXKzK+oRDpGOiXQYOMI1exC2B76AvvPTfCNP0evIgWJCIk87eisGTUvgP6QZT4ghbHnTCqjaObU9nWaNBwutlMHa8UPU57NAVZPQlWFTSUU9kbpt2h4VqPSuTauAu1W0Vczx2Bz6/qbI6GLSIhcbKe+uz3CNfq/j2gIlHeU0kBYOpKc0VCJfHSj4J/OOVTvvEGe64lB96bNXiKWqpYVUyALwBPJ9GO5MzFTYCL/inMY4JvHlVNyeddEl6Dqm/ZFR5t4SgiQzxV3RXkeTNz3Chi4SHBKiQDnnBuichwepuSzmWA13hb32rXe/9PjFFgskzThQvnHkPh/4Ppmskz9PC//Af5qoOaazNrdg+pYyVtsss5ZFnP1O6gqU89HQ1GQfJ2KyEiWwEd6DMhLo9m3CYlSTqw6rZq8pbyBvPhB9OiGe/+y5NjC/JdeUP04vp9VBCEQazyourzCwZPhykITOX3YgqyHB9gfpDIQ2ZWtcVW9XgqsEfod6QTGXDaVJLJq43dxi/gAFG2dVNqjEpxlEKCV79Bwkhr0daZ625/bO3v2C5mtGFbhxz8FDAIYHQReghcuJAPh0oPaXQ=

%URL%
https://github.com/msoos/cryptominisat/

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1693669754

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

