Dioxys pumilus Gerstäcker, 1869
Dioxys maroccana Popov, 1936: 17 —ϐ (ZISP), Holotype, River Rdat (Morocco)
Global distribution: Palearctic
Regional distribution: Fès-Meknès; Rabat-Salé-Kénitra
References: Popov (1936); Warncke (1977b)
Genus Eudioxys Mavromoustakis, 1963