Man pages matching name lambda-term-inputrc in section 5:

lambda-term-inputrc.5.en	debian 10 / liblambda-term-ocaml
lambda-term-inputrc.5.en	debian 11 / liblambda-term-ocaml
lambda-term-inputrc.5.en	debian 12 / liblambda-term-ocaml