Agrypnus himalayanus (Jagemann, 1944)
Compsolacon himalayanus Jagemann, 1944: 334 .
Agrypnus himalayanus Hayek, 1978: 222; Cate, 2007: 97.
Type locality. Tibet.
Material examined. Pakistan; Gilgit Province, Nalter, 9 males; 26. vi. 2004, Zubair, at light (ACP). New record for Pakistan.
Distribution. China, Himalaya, Nepal, Pakistan and Tibet (Cate, 2007).