Man pages matching name opam-pin in section 1:

opam-pin.1.en	debian 10 / opam-doc
opam-pin.1.en	debian 11 / opam-doc
opam-pin.1.en	debian 12 / opam-doc