SHA256 (verilog-10.0.tar.gz) = F58Jr7r7lRvqKMkAGwbti5suVBgQktSONDyyD0NrEYU=
SIZE (verilog-10.0.tar.gz) = 1683102