Man pages matching name rpki-rov in section 1:

rpki-rov.1.en	debian 10 / rtr-tools
rpki-rov.1.en	debian 11 / rtr-tools
rpki-rov.1.en	debian 12 / rtr-tools