Man pages matching name virgl_test_server in section 1:

virgl_test_server.1.en	debian 11 / virgl-server
virgl_test_server.1.en	debian 12 / virgl-server