Man pages matching name mono-symbolicate in section 1:

mono-symbolicate.1.en	debian 10 / mono-devel
mono-symbolicate.1.en	debian 11 / mono-devel
mono-symbolicate.1.en	debian 12 / mono-devel