Man pages matching name funinfoput in section 3:

FunInfoPut.3.en	debian 10 / libfuntools-dev
FunInfoPut.3.en	debian 11 / libfuntools-dev
FunInfoPut.3.en	debian 12 / libfuntools-dev