Man pages matching name repdoc in section 1:

repdoc.1.en	debian 10 / librep-dev
repdoc.1.en	debian 11 / librep-dev
repdoc.1.en	debian 12 / librep-dev