The text 1a5c8fdb5846, as Debian 10 (Buster) shipped it.
API function
gnutls_check_version(3) on Linux now
