Man pages matching name sympa-dump in section 1:

sympa-dump.1.en

debian 12 / sympa