Fetching liboqs-0.13.0.tar.gz
Downloaded 15.67 MiB in 2 seconds (6.58 MiB/s)
=> Checksum BLAKE2s OK for liboqs-0.13.0.tar.gz
=> Checksum SHA512 OK for liboqs-0.13.0.tar.gz