Man pages matching name lava-server in section 1:

lava-server.1.en	debian 10 / lava-server
lava-server.1.en	debian 11 / lava-server
lava-server.1.en	debian 12 / lava-server