The text 3c4e5281c8ab, as Debian 10 (Buster) shipped it.
API function
gnutls_gost_paramset_get_oid(3) on Linux now
