[1675] petrinus, a, um (πέτρινος), aus Stein, cultellus, Augustin. serm. 221, 2.
Pierer-1857: Petrinus