Man pages matching name lpspp in section 1:

lpspp.1.en

debian 10 / mcrl2