| | | Kind of type | Full locality |
| | | syntype of synonym Acanthoproctus elaphos Weidner, 1941 | Southern Africa, Namibia: Windhoek |
| | | unspecified primary type of species Acanthoproctus cervinus (Haan, 1843) | Southern Africa: [Cape, Karroo, Namaqualand, Botswana, Southwest Africa/Great Namaland, Tanzania] |
| | | holotype of synonym Hetrodes fortis Walker, 1869 | Southern Africa: South Africa |
| | | [not recorded as a type] | Southern Africa, Cape Province, Northern Cape Province: 6 km NW Fraserburg |
| | | syntype of synonym Acanthoproctus elaphos Weidner, 1941 | Southern Africa, Namibia: Windhoek |
| | | syntype of synonym Acanthoproctus elaphos Weidner, 1941 | Southern Africa, Namibia: Windhoek |
| | | syntype of synonym Acanthoproctus elaphos Weidner, 1941 | Southern Africa, Namibia |
| | | [not recorded as a type] | Southern Africa, Namibia: Hardap region, Maltahöhe |