krb5_format_time

'krb5_format_time' available in more than one location:

/usr/man/cat.3/krb5_format_time.3.Z
/usr/man/cat.3/krb5_set_real_time.3.Z
/usr/man/cat.3/krb5_string_to_deltat.3.Z
/usr/man/cat.3/krb5_timeofday.3.Z
/usr/man/cat.3/krb5_us_timeofday.3.Z