SHA256 (cadical-3.0.1.tar.gz) = Co6lY7WiX1qgZGNIFO2rRcwORREeoPXUEqVl+Ab9fhE=
SIZE (cadical-3.0.1.tar.gz) = 889912
