Fetching darcs-2.18.5.tar.gz
Downloaded 1.23 MiB in 0 seconds (3.71 MiB/s)
=> Checksum BLAKE2s OK for darcs-2.18.5.tar.gz
=> Checksum SHA512 OK for darcs-2.18.5.tar.gz