gnutls_certificate_verification_profile_get_name(3) on Linux

The text 54dc070bcec3, as Debian 11 (Bullseye) shipped it.

API function

gnutls_certificate_verification_profile_get_name(3) on Linux now