The distribution was accordingly renamed to Antergos and released under the new name in May 2013.
Dementsprechend wurde die Distribution in Antergos umbenannt und unter dem neuen Namen im Mai 2013 veröffentlicht.