TIMESTAMP = 1513347411
SHA256 (scala-2.12.4.tgz) = 9554a0ca31aa8701863e881281b1772370a87e993ce785bb24505f2431292a21
SIZE (scala-2.12.4.tgz) = 19741785