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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-2

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

%CSIZE%
883280

%ISIZE%
2739351

%MD5SUM%
5c15aea5e7596180a49d1382ac127f6f

%SHA256SUM%
3d9914f072079a44860df4fc87090555eda484cca20c9a63ffb036226d6ee1db

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmPOiicACgkQdxk/FSvb5qbn9w/+N/sA2mU/X9H/9Ng0SYk4gm2Vj6XCTNeTfwQVudq/f5ve0YhPUkzda+VlDs6Siay6HIobki0+tvqFHnTPyBePnfLAbQnqxvMYHnFNMlN6OUDjLmdiLm8aa+zD91RiK4pcUNw1OG4kfFd/6yiYafFpjdp5ufh70flvrv/Dm+5EWOWdK+fSeyz6A9VkmJFh6aa0KXCVTdEZF/CeKqnWZnAOEoZt7mPyq8T7TBDumZn55umrwSBiJbgfrwcv1OsX3Nz9dEawqLZuBTlc6hRE1hPJJGhjTm/LbA093tLZjYVUbY2AnD2FTee3JEznmgkehfi4csa5X8sDJUnMmQWe2ZsjiAGiLqbfQ3pBcjINDKZS2dRZh5P/IuO2kzvjkQbvabVdVO/OJNtVhilD1OB25+rvXLY1vl+P6cBp3k4M4VaXI5APy/BAtDgy4NXmIKSylxYxSRvIYdgWlyzpzkk0ePVvgDSCXIEetDqA6Xbp2RSAWT8aemtpnsjBIkbiBTOSr12I15Izun1QIq6/9BsQHSJF12QvngLKb2ID/PWXJNrqMRFDHMmXc1Y0FIxsVt05XlagywyRZUMYb+fmyn5oXVT0MHrJh3PFyJnLCwgUfsHaftvhj/ll38CsC4YOv8Iz23kdVA/QtHoZi/419+35Alpt5fJPa/CAF4ln0Iu1dEOWtzE=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1674479943

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

