Man pages matching name atf-check in section 1:

atf-check.1.en	debian 11 / atf-sh
atf-check.1.en	debian 12 / atf-sh