Hargravesia richardsi Clench 1949

Hargravesia richardsi is a species of in the family Pupinidae.