Petra, Taşköy o Arbo, en arameo, es un pueblo en el valle Solea.

En 1958, los turcochipriotas aprobaron el nombre alternativo Dereli, que significa "lugar con un arroyo".

Durante el período británico, mientras que la población grecochipriota siguió aumentando, la turcochipriota se estancó.

Estos se movieron principalmente a Lefka / Lefke y a los pueblos cercanos de Angolemi / Taspinar y Elia / Doganci.

En la actualidad, los grecochipriotas de Petra / Taşköy se encuentran dispersos por todo el sur.