The text 0c07abc7e723, as Debian 10 (Buster) shipped it.
API function
gnutls_srtp_get_profile_id(3) on Linux now
