Man pages matching name diagraphica in section 1:

diagraphica.1.en

debian 10 / mcrl2