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 312505) with original publication details: Observ. Bot. Hort. Dyck. 72 1821.
This name was in version 1 of The Plant List, record kew-312505, and has not been changed.