TIMESTAMP = 1615566556
SHA256 (hotcrp-2.102.tar.gz) = 09be01f2e427cb7f424871c619925e19db03e058b6de4b7321960e31c5e31eaf
SIZE (hotcrp-2.102.tar.gz) = 1571868