Man pages matching name seqan_tcoffee in section 1:

seqan_tcoffee.1.en	debian 10 / seqan-apps
seqan_tcoffee.1.en	debian 11 / seqan-apps
seqan_tcoffee.1.en	debian 12 / seqan-apps