Man pages matching name runantlr in section 1:

runantlr.1.en	debian 10 / antlr
runantlr.1.en	debian 11 / antlr
runantlr.1.en	debian 12 / antlr