%FILENAME%
cryptominisat5-5.8.0-9-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-9

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

%CSIZE%
483716

%ISIZE%
1556601

%MD5SUM%
3a9abc5eb949b15fafbb29c119394a52

%SHA256SUM%
951956551b6dc9211f0a78066c2b90325caa86f5c137405388ca693d5a49e174

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG+8pcACgkQdxk/FSvb5qaA8w//UP5ypKinoVUV4k936HGnOcESVdeICofc+IwEqXmaTdTzlYowDHfuL9Ug5RilL1Qdfnpll/8y0afdJz84Adu2trKFRXQp5oThuJkt1+I3NFKz3gOAurQlWgg67In1q6gR5aZclohsZHjq6Z3yC4C5GsSO51TmAO3KpibqHL09xrT+7tEUjLEGBhMKHESdbd6nkYNEiMka5Dd3KgchWkLENbBzGTVS/FBXCRmUlf9IGJvQGEICUny9KE/0eiSo2ke5GKFuLejXQ9L1th5Kv9XCfg7vxoI9yRIf64bE5ZyTNMRUvImaGedqL0PuXyJSa08TT8ok8LXUsqTPAZcj95lLPksCdLULx3ZSrgkVkyFTOBqDNmmXwbPgO58KNtIkxuO23dhiAIkgjHdYj9FMZqrTQ5yaM/c+KHbClT51a5BCsCaITWR08+3pwvxof0R36wQm7YfMRc1AA7Cwx4ffrosYqDmo5NfVxliJMQRIg+5gCcYv0qfezGl3Kl03uNpar2IbvPWWL92d6Ai307QTOZ8nUenWDWegUyibRd311lcKzPSgFfd8xG+NF/f/IbbC3PlfCfFzK6o8D4uxmnk3dRFxe+gMJFCaeqXg4faZN70SDaoRP82HuAdE6ekcVd79xt81fVS4EgYw0mC5dgupD4EGckFrhZHUMv4dO5fSkif/Mug=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1639903848

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

