TIMESTAMP = 1574545547
SHA256 (racket/7.5/racket-7.5-src-builtpkgs.tgz) = de9609d14322aea911c0017b0518aaca5b2e418038c5c2edb475a8fdb5ba688b
SIZE (racket/7.5/racket-7.5-src-builtpkgs.tgz) = 146535684