SHA256 (hotcrp-2.92.tar.gz) = 05e1917edb9102c4822daaf4e66c2b6baf7e519eedad26af4f96c0c3c5ce136b
SIZE (hotcrp-2.92.tar.gz) = 633220