Man pages matching name gnutls_fips140_pop_context in section 3:

gnutls_fips140_pop_context.3.en

debian 12 / gnutls-doc