I assume the IOC List treats erlangeri as a separate species. Perhaps in the future, to avoid confusion, we should state which list/system is being followed.
Yes; IOC splits erlangeri, but lumps eremica into blanfordi.
All those various IOC lists are just different formats for the same list. Mostly you just want the "Master list" to peruse their taxonomy, or the "Life list+" if you want to record into a spreadsheet (though IOC changes fast enough - four times a year - that I'd recommend software that can handle the updates rather than manual spreadsheet entry).