The text 547a7c406b4f, as Debian 12 (Bookworm) shipped it.
API function
gnutls_x509_crl_iter_crt_serial(3) on Linux now