Fetching liboqs-0.10.1.tar.gz
Downloaded 4.06 MiB in 1 second (7.70 MiB/s)
=> Checksum BLAKE2s OK for liboqs-0.10.1.tar.gz
=> Checksum SHA512 OK for liboqs-0.10.1.tar.gz