Man pages matching name why3 in section 1:

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