Man pages matching name dejagnu in section 1:

dejagnu.1.en	debian 12 / dejagnu
dejagnu.1.ja	debian 12 / manpages-ja