Man pages matching name dejagnu-report-card in section 1:

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