Fetching dhewm3-1.5.4.tar.gz
Downloaded 7.33 MiB in 2 seconds (4.08 MiB/s)
=> Checksum BLAKE2s OK for dhewm3-1.5.4.tar.gz
=> Checksum SHA512 OK for dhewm3-1.5.4.tar.gz