SHA256 (hotcrp-2.55.tar.gz) = a198c1ddf6fed754044d6630f69e4b68ba092f8a4da2eb4dc1e53609471dd639
SIZE (hotcrp-2.55.tar.gz) = 548380