Fetching racket-8.15-src.tgz
Downloaded 32.58 MiB in 3 seconds (11.26 MiB/s)
=> Checksum BLAKE2s OK for racket-8.15-src.tgz
=> Checksum SHA512 OK for racket-8.15-src.tgz