Man pages matching name gnutls_fips140_context_deinit in section 3:

gnutls_fips140_context_deinit.3.en

debian 12 / gnutls-doc