Man pages matching name debefivm-ukify in section 1:

debefivm-ukify.1.en

debian 13 / debvm