%FILENAME%
cryptominisat5-5.6.8-2-armv6h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-2

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

%CSIZE%
427860

%ISIZE%
1385472

%MD5SUM%
9389b7aca5692d4a66c6e15c9d375876

%SHA256SUM%
669e925bcfdde39892a53a9a347f4da3948207118746028aa52144dd4542c9a3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlyKmRgACgkQdxk/FSvb5qY81xAAnwT4yayoDJOMGhOus2AFB3FSv9gJ5mtuPLHSmQtJj4USKlydT6OWqBYt6uEHqTNTpNTO49ry8eOL3zD4bFtrUlkxt0efLV1Ag7aUYipEGDoue7b8pLXnycB+Gd6x1Y+qlLlIfRmIpTdekSQRArJvetK/d6PDO2EuJ4aRwUqTCaEKPZ2rtX1zP/FhjMoxClZeE8SYlSTQ6wpshB0Jal86z21ODkn4UdocLZ967RGFNFB5cUJqm35BnSBj7g7C3N/BgakC+4jFzFSulNLBr5EAV4zp3o682o2Vob8Evxf4BA9pM9idZg1h8SpzExBR6OpzdNtNDiGrwYIu3AQJQAVcJmg2MiyUkB0j0nAY5CzyZycLvaduNWy1x2xfxs7X9N/ebshRsjnaAzVnEx1qJP/Z3ONnT7v58XTeIJhYGWrUhYeJ/utJHilz5wdGK45clLnHc58lgbPK8VZmBCZjaVuSzj44qB+BwEDvKJ8wN35+0LoXgbPk9c/bdN3ipAHrZK6aqCbiXfXG82QZqYOUBCHqXU9F4v3BE7PSN2dOoHOfJQnDtZBIdgeUAiA7/RUhXzaLtij36IS6uSJWjEeeaSgKkhR1DCkBWXu7gD6hQNp1jZe8XAj28ZqPklDRTFU/9achQNhmPkUj5gA5+GEAyBx1Jl/VZFeEbhnmS2AwjSu8rB0=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1552586859

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

