Man pages matching name awk in section 1:

awk.1.es	debian 10 / manpages-es-extra
awk.1.pl	debian 10 / manpages-pl