This name is a synonym of Gasteria carinata var. verrucosa (Mill.) van Jaarsv..
The record derives from WCSP
(data supplied on 2012-03-26)
which reports it as a synonym (record 307799) with original publication details: Pl. Succ. Horto Alencon. 6 1809.
This name was in version 1 of The Plant List, record kew-307799, and has not been changed.