Man pages matching name mocha in section 1:

mocha.1.en	debian 10 / mocha
mocha.1.en	debian 11 / mocha
mocha.1.en	debian 12 / mocha