Petra ( griego : Πέτρα ; turco : Petre o Taşköy ) es un antiguo pueblo en Chipre , ahora deshabitado y en gran parte destruido. Se encuentra al este de la ciudad de Lefka y justo al norte de la Línea Verde . De facto , Petra está bajo el control del norte de Chipre .
Petra tenía una población mixta grecochipriota y turcochipriota con una mayoría grecochipriota. Parte del pueblo se ha utilizado como campamento militar. [2]