Proagoderus lucasi (d’Orbigny, 1902)
Type locality: “ Afrique Orientale Allemande: Zanzibar ” [Zanzibar, Tanzania]. Distribution: Kenya, Tanzania (d’Orbigny 1902, 1913; Palestrini 1992; Josso unpublished data).