Man pages matching name libipmiconsole in section 3:

libipmiconsole.3.en	debian 10 / libipmiconsole-dev
libipmiconsole.3.en	debian 11 / libipmiconsole-dev
libipmiconsole.3.en	debian 12 / libipmiconsole-dev