| | | Kind of type | Full locality |
| | | [not recorded as a type] | West Tropical Africa, Benin |
| | | [not recorded as a type] | West-Central Tropical Africa, Cameroon |
| | | [not recorded as a type] | Northeast Tropical Africa, Chad |
| | | [not recorded as a type] | West Tropical Africa, Guinea |
| | | [not recorded as a type] | West Tropical Africa, Ivory Coast |
| | | [not recorded as a type] | West Tropical Africa, Mali |
| | | [not recorded as a type] | West Tropical Africa, Senegal |
| | | paratype of species Deropeltis robustula Princis, 1962 | Gaoua |
| | | unspecified primary type of species Deropeltis robustula Princis, 1962 | |
| | | unspecified primary type of species Deropeltis robustula Princis, 1962 | Gaoua |
| | | paratype of species Deropeltis robustula Princis, 1962 | |