=> Checksum BLAKE2s OK for idris2-0.7.0.tar.gz
=> Checksum SHA512 OK for idris2-0.7.0.tar.gz