Man pages matching name murphi2c in section 1:

murphi2c.1.en	debian 11 / rumur
murphi2c.1.en	debian 12 / rumur