TIMESTAMP = 1508676832
SHA256 (verilog-10.2.tar.gz) = 96dedbddb12d375edb45a144a926a3ba1e3e138d6598b18e7d79f2ae6de9e500
SIZE (verilog-10.2.tar.gz) = 1695227