TIMESTAMP = 1718440069
SHA256 (stp-stp-2.3.4-2.3.4_cadical_GH0.tar.gz) = 9cf16be7613554c96dec74123dcfdb6905636c10b4b7cddaf8b25474bfc9e966
SIZE (stp-stp-2.3.4-2.3.4_cadical_GH0.tar.gz) = 3543795