SHA256 (verilog-10.2.tar.gz) = lt7b3bEtN17bRaFEqSajuh4+E41lmLGOfXnyrm3p5QA=
SIZE (verilog-10.2.tar.gz) = 1695227
