Man pages matching name lava-run in section 1:

lava-run.1.en	debian 10 / lava-dispatcher
lava-run.1.en	debian 11 / lava-dispatcher
lava-run.1.en	debian 12 / lava-dispatcher