Man pages matching name gss_krb5_compat_des3_mic in section 3:

gss_krb5_compat_des3_mic.3.en	debian 10 / heimdal-dev
gss_krb5_compat_des3_mic.3.en	debian 11 / heimdal-dev
gss_krb5_compat_des3_mic.3.en	debian 12 / heimdal-dev
gss_krb5_compat_des3_mic.3.en	debian 13 / heimdal-dev