Man pages matching name dpgen_nor4 in section 3:

DPGEN_NOR4.3.en

debian 10 / alliance