Proagoderus dives (Harold, 1877)

= Onthophagus deyrollei Raffray, 1877 (type locality: “ Zanguebar, Bagamoyo ” [Bagamoyo, Tanzania]).

= Onthophagus optivus Péringuey, 1901 (type locality: “Southern Rhodesia ( Mtoko)” [Zimbabwe]).

= Onthophagus (Proagoderus) dives var. funereus d’Orbigny, 1902 (type locality: “M’honda dans l’Ouzigoua ” [Mhonda, Tanzania]).

= Onthophagus (Proagoderus) dives var. semicuprinus d’Orbigny, 1913 (type locality: not defined).

Type locality: “ Nyassa Afric. Or. Trop. ” [ Lake Malawi region]” .

Distribution: Botswana, Kenya, Namibia, Tanzania, Zambia, Malawi, Mozambique, Zimbabwe, South Africa (Harold 1877; d’Orbigny 1902, 1913; Palestrini 1992; Davis et al. 2020).