Man pages matching name survex in section 7:

survex.7.en	debian 10 / survex
survex.7.en	debian 11 / survex
survex.7.en	debian 12 / survex