Petrīni, ōrum, m.,
the inhabitants of the city of Petra , in Sicily , the Petreans , Cic. Verr. 2, 3, 39, § 90; Plin. 3, 8, 14, § 91.