The text 0931edf9ee79, as Debian 10 (Buster) shipped it.
API function
gnutls_fips140_set_mode(3) on Linux now
