Man pages matching name prot2codon in section 1:

prot2codon.1.en	debian 10 / fsa
prot2codon.1.en	debian 11 / fsa
prot2codon.1.en	debian 12 / fsa