SHA256 (hotcrp-2.45.tar.gz) = 4553215241ed0701d99e50afddf1c8f3778706352984062154c271f16ffbceed
SIZE (hotcrp-2.45.tar.gz) = 510587