Man pages matching name original-awk in section 1:

original-awk.1.en	debian 10 / original-awk
original-awk.1.en	debian 11 / original-awk
original-awk.1.en	debian 12 / original-awk