Man pages matching name ipx in section 3:

ipx.3.en

debian 10 / libipx-dev