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

MD5 (verilog-0.8.1.tar.gz) = 61ab44cbf1734acf1b1e6c4c1ed596b6

SIZE (verilog-0.8.tar.gz) = 1371542

SIZE (verilog-0.8.1.tar.gz) = 1431354