Man pages matching name ipe5toxml in section 1:

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