%FILENAME%
cryptominisat5-5.8.0-6-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-6

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

%CSIZE%
465968

%ISIZE%
1365257

%MD5SUM%
d94b7ce453d81aa8217c5a3aa6c8d248

%SHA256SUM%
0c7374845559f3868c67734156f908e879d43329cd662236a1cf5223bc5b59b2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDCtTkACgkQdxk/FSvb5qYJpA//cdWJDWwOk8DugK2VcH6W7Z7MWIzbr2gfJ5bnVzVxx8ssfuD5lx1v3/kad89aVlNxx6kUFVFnjgqp6ZAfX1r20WOu82eQhIrFUNoKSHc2ecde5nL0cB3vbjAOySMRblnZNJhsuEqEAL5/hArzUQq69hH6r9m7VyAv501JZRQlLloFMLVIRzoXfnJkjGGMa1GcOUhxC4Cd2b+vYlQeiTx5BlZu3ZyPvA9Qd1jeMoCJWfgIy4Jm3TZTmpZeE3pLFyKH2SpT4LJZ6Y9o2Jzdxgrcayg7SQuI/LvVp0q9Np8zq/gaafgb0Lv005yxRVfht5eJKItMH93zy2vTeYmksQkDitSoN2JbX3frwSUm1bCTqkwNfnpUvwkQgU3bvv+v9uMqmn7ZNUKf1cdws1BgEhAMlXobOnrByovDaSoDSnTb22EQs8mEtRjQJpxShT7bXAVndCI6F8jQsQ1nQaJThAk1ukEjVT2juqc35UmDENPGDSlJEbnXk5T6MpLOVHXPEu/bM9JUMLoR69vo5+FmJiWIXixrUoc8/NMUI8g3GN+tOz3ph6xKGeb3O+ZP8yzzDCHV6q9v0kJ1EQ22ZyLuBAjjPHH4d3YnhL0h815j/g4fAPCNepOxe1L76JVBVPA4Stz2t9S2vqD0lNVNsN7QL/Tp0HLatk0QOnH3Vziem5QtWGQ=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1623373033

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

