Man pages matching name iptux in section 1:

iptux.1.en	debian 10 / iptux
iptux.1.en	debian 11 / iptux
iptux.1.en	debian 12 / iptux