Petra is all girl to me. It reminds me a bit of the old
Christian rock band, but I've also heard it here and there as a name (only on girls, btw) and I do like it. I met a little girl whose father's nn was
Roc (I forgot his given name) and so her parents named her
Petra "after" him, which I thought was cute. :)