Man pages matching name isatty in section 3:

isatty.3.de	debian 10 / manpages-de-dev
isatty.3.en	debian 10 / manpages-dev
isatty.3.es	debian 10 / manpages-es
isatty.3.ja	debian 10 / manpages-ja-dev
isatty.3.pt	debian 10 / manpages-pt-dev
isatty.3.de	debian 11 / manpages-de-dev
isatty.3.en	debian 11 / manpages-dev
isatty.3.es	debian 11 / manpages-es-dev
isatty.3.fr	debian 11 / manpages-fr-dev
isatty.3.ja	debian 11 / manpages-ja-dev
isatty.3.pt	debian 11 / manpages-pt-dev
isatty.3.de	debian 12 / manpages-de-dev
isatty.3.en	debian 12 / manpages-dev
isatty.3.es	debian 12 / manpages-es-dev
isatty.3.fr	debian 12 / manpages-fr-dev
isatty.3.ja	debian 12 / manpages-ja-dev
isatty.3.pt_BR	debian 12 / manpages-pt-br-dev
isatty.3.ru	debian 12 / manpages-ru-dev
isatty.3.de	debian 13 / manpages-de-dev
isatty.3.en	debian 13 / manpages-dev
isatty.3.es	debian 13 / manpages-es-dev
isatty.3.fr	debian 13 / manpages-fr-dev
isatty.3.ja	debian 13 / manpages-ja-dev
isatty.3.ko	debian 13 / manpages-ko-dev
isatty.3.pt_BR	debian 13 / manpages-pt-br-dev
isatty.3.ro	debian 13 / manpages-ro-dev
isatty.3.ru	debian 13 / manpages-ru-dev