Man pages matching name coq-planif-transition in section 1:

coq-planif-transition.1.en

debian 12 / debian-coq-tools