%FILENAME%
cryptominisat5-5.11.12-1-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.12-1

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

%CSIZE%
890924

%ISIZE%
3070951

%MD5SUM%
95c38790582329cd80153be2eb3c19f0

%SHA256SUM%
7f6fbfcfeac53da54495e75b61d256c953f8d9201ea847021091e27279fef022

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmTqkMAACgkQdxk/FSvb5qad3g/+PngKHJttajiqddDM3VLX1uAuxe0v7DMtrBpgeq3Dh41gnNr8J8rnZlgLDRFF2J07zUJkf55D5Hp5uKLli7WkmMh6c4U2YlK8HGjV9UnTj9Ia2np99rBskCJMmpp+veRj+Pg6Vg6djFv0IbyDRjRtDJFTPpV2cGjHvrjtYg67ypfAYrt/VEZBEnl2ahWCBe7aT8WfXdd3xh6VqN22q5ZHPPCLIKLfsnNLoFQRTqsXKXp5lK8eR8FmqnVT7RbaoqyUsXiOieL6WTSw5ISlQJeBSZdecwotpYM9eQsysul4cDXbb6s5QHkO0fNp3pwoajfjzUHh5MbzusE0BDRvgmX+tRqpaibK04aYO1yi6ZJ1pTzx4WvaGJFj4u4QxXSsWLzPKH8mue6Con6ksmldtek5d2Mr9mTVm866UU2VqqiMNjYRBQTWPLLL4qh7Q4ol4Eo6fx+dtTKh3jsxP5iQ2jREoQrAUpYLNweKUNoxqsPo7qPGOW70cq4W8r36NjYgAphCixbAnABOfyMOXQM+cDoVoxpEbGiEg8E2iO2HWq/DLW9vJhIYd9KSp03LNchYig1WsXHon8dbubwCm5TukygmIQ52KvPKBjjRm3/3IHEd7eKAhAYuXJ7bk5aEai1+H4nBLfk1kguNMw8+EzhaH5VjSVaePbw0A1q93lh26BQKJ/A=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1693093901

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

