SHA256 (cryptominisat.tar.gz) = EU2iDiVzTcNo2tpHr9jLfURxfyFZrWbVusdCBi+j60w=
SIZE (cryptominisat.tar.gz) = 467221
