SHA256 (hotcrp-2.94.tar.gz) = e21ca4afc48e6d429b645befc84b7db94ccdd35c9df52cf2b16515de72b64a02
SIZE (hotcrp-2.94.tar.gz) = 772817