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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-11

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

%CSIZE%
505152

%ISIZE%
1635088

%MD5SUM%
a9f7da4d5e92f7a7b00e52c1f6cc6848

%SHA256SUM%
686ef5f881a12514258fb1024f18c8003cc655ab13c55cfa8d9ff318979547d5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMoCuYACgkQdxk/FSvb5qZ3ehAAnp9C2ZmxfuZsJ8ooZFDv9aZ+8TG1lgT8NXLsLWMF1XmItGfITUcTYHOfNV3TrRKM7fos7IC7lVLVw/JaodNlCoWbpDmsSAgIA+RkalFMZ+z9kY/NtBVFy3ELmXP1MOLgAhZroyrTEuwj+M2SFBCgSzOeBuIz5BWxtIcXnGtSLdCfacWd69X10MLZXdbr/ikQ7A5UQ9DLHraEE1E31kulkEY6aJ/JqLGl+6kvVHs6Cz46H8Lw3rTwgOCQioSdWAy6a2Skhh0F4YR+wTyOeZtp0GeE9aYFIPFFCJRWxSll60yKyicRalWdiMQy5rJrUHLT21Kge2N/9AsiAZX3Rlxo6rnYrbqdWKtSS32U4/pwLRlnHFx0vP5aSE5knI8Gfzru4jFCsOm8tO96JJi6BXf6OBDOfqgv7q4OS8Cek0blXLnW99FVpAO0ktIgaAedICOPKDm55TVf2YHdkMuWsK4PseVplzoGqsdOTyAkuB9hOzZLXxtAxLaQZ5sJgOfgH8AGjycaeoZ88JRXGdaVF6vAxKb4FmhQcNlVhjz6nKUSyQlFFVWUI6mvHFoHIB3R8Gu6rrGpjEY/xjuzuVmvSDTR11U5zwFe0N/K/fq6AavoSWvzkiTy1HvyomnP4Iv2fJp2CFlUXnAlwhZAQVnc48/5ppTNYXk2N3EDaQGTcsGDirA=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1663568558

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

