Man pages matching name aven in section 1:

aven.1.en	debian 10 / survex-aven
aven.1.en	debian 11 / survex-aven
aven.1.en	debian 12 / survex-aven