TIMESTAMP = 1663127500
SHA256 (clingcon-5.2.0.tar.gz) = 395b929068c767cf483994cced0b7cb02bb6c2279501c2aeb88d7145b487accf
SIZE (clingcon-5.2.0.tar.gz) = 290120