Man pages matching name cadabra-server in section 1:

cadabra-server.1.en	debian 11 / cadabra2
cadabra-server.1.en	debian 12 / cadabra2