Man pages matching name pocklington in section 1:

pocklington.1.en

debian 12 / coqprime-tools