TIMESTAMP = 1532665392
SHA256 (gringo-4.5.4-source.tar.gz) = 81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a
SIZE (gringo-4.5.4-source.tar.gz) = 1677479