Man pages matching name funref in section 3:

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