Man pages matching name haval in section 3trf:

haval.3trf.en	debian 10 / tcl-trf-doc
haval.3trf.en	debian 11 / tcl-trf-doc
haval.3trf.en	debian 12 / tcl-trf-doc