Man pages matching name gss_verify_mic in section 3:

gss_verify_mic.3.en	debian 10 / gss-man
gss_verify_mic.3.en	debian 10 / heimdal-dev
gss_verify_mic.3.en	debian 11 / gss-man
gss_verify_mic.3.en	debian 11 / heimdal-dev
gss_verify_mic.3.en	debian 12 / gss-man
gss_verify_mic.3.en	debian 12 / heimdal-dev
gss_verify_mic.3.en	debian 13 / gss-man
gss_verify_mic.3.en	debian 13 / heimdal-dev