Man pages matching name mawk in section 1:

mawk.1.pl	debian 10 / manpages-pl
mawk.1.en	debian 10 / mawk
mawk.1.en	debian 11 / mawk
mawk.1.en	debian 12 / mawk