The text 718613e85f3c, as Debian 13 (Trixie) shipped it.
API function
gnutls_x509_crt_set_pubkey(3) on Linux now
