blob: c49eb7f98c01141d82537a49d00172b6c165f700 (
plain) (
blame)
1
2
3
|
TIMESTAMP = 1603119332
SHA256 (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 50153025c8503ef32f32fff847ee24871bb0fc1f0b13e17fe01aa762923f6d94
SIZE (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 943785
|