MD5 (verilog-0.8.tar.gz) = 12a20a7f63183e767a9d7d077eb0556c
SIZE (verilog-0.8.tar.gz) = 1371542