Man pages matching name sdl_pumpevents in section 3:

SDL_PumpEvents.3.en	debian 10 / libsdl1.2-dev
SDL_PumpEvents.3.en	debian 11 / libsdl1.2-dev
SDL_PumpEvents.3.en	debian 12 / libsdl1.2-dev