TIMESTAMP = 1665824399
SHA256 (msoos-cryptominisat-5.11.4_GH0.tar.gz) = abeecb29a73e8566ae6e9afd229ec991d95b138985565b2378af95ef1ce1d317
SIZE (msoos-cryptominisat-5.11.4_GH0.tar.gz) = 1044845
