Man pages matching name libminicoredumper in section 7:

libminicoredumper.7.en	debian 10 / libminicoredumper2
libminicoredumper.7.en	debian 11 / libminicoredumper2
libminicoredumper.7.en	debian 12 / libminicoredumper2