SHA256 (verilog-10.1.tar.gz) = e822f397e3b7a496c8138c2b05b4209eb47b74370bc173a91c293fa8e809e529 SIZE (verilog-10.1.tar.gz) = 1685176