Man pages matching name micro_razers in section 1:

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