gawk-doc 4.2.1-1 (amd64 binary) in ubuntu eoan

 `awk' is a program that you can use to select particular records in a
 file and perform operations upon them.
 .
 Gawk is the GNU Project's implementation of the AWK programming language.
 This package contains edition 4 of `GAWK: Effective AWK Programming: A User's
 Guide for GNU Awk' and edition 1.3 of `TCP/IP Internetworking With Gawk'.