Man pages matching name probcons-rna in section 1:

probcons-RNA.1.en	debian 10 / probcons
probcons-RNA.1.en	debian 11 / probcons
probcons-RNA.1.en	debian 12 / probcons