TIMESTAMP = 1566058481
SHA256 (verilog-10.3.tar.gz) = 86bd45e7e12d1bc8772c3cdd394e68a9feccb2a6d14aaf7dae0773b7274368ef
SIZE (verilog-10.3.tar.gz) = 1698889
