Man pages matching name ippl.conf in section 5:

ippl.conf.5.en	debian 10 / ippl
ippl.conf.5.en	debian 11 / ippl
ippl.conf.5.en	debian 12 / ippl