TIMESTAMP = 1710434900
SHA256 (hotcrp-3.0.0.tar.gz) = 4cc2664677303a009e46fa60e06ee2c9e6d51192a2059af4b6d41aa60db9eb09
SIZE (hotcrp-3.0.0.tar.gz) = 1983729