Man pages matching name firstprimes in section 1:

firstprimes.1.en

debian 12 / coqprime-tools