Man pages matching name eb_server_push_file in section 1:

eb_server_push_file.1.en	debian 10 / entropybroker
eb_server_push_file.1.en	debian 11 / entropybroker
eb_server_push_file.1.en	debian 12 / entropybroker