=> Checksum BLAKE2s OK for liboqs-0.13.0.tar.gz
=> Checksum SHA512 OK for liboqs-0.13.0.tar.gz