Man pages matching name debefivm-run in section 1:

debefivm-run.1.en

debian 13 / debvm