Man pages matching name sympa.wsdl in section 5:

sympa.wsdl.5.en	debian 10 / sympa
sympa.wsdl.5.en	debian 11 / sympa
sympa.wsdl.5.en	debian 12 / sympa