The text 4b5c91b7d0af, as Debian 13 (Trixie) shipped it.
API function
gnutls_fips140_mode_enabled(3) on Linux now
