TIMESTAMP = 1548558502
SHA256 (verilator-4.008.tgz) = d5cef6edd3bdb7754776d902daae7a7e5dd662baa7c7f895cb7028b1d6910cac
SIZE (verilator-4.008.tgz) = 2519234
