, heute nicht mehr existierendes Dorf etwa s. von Petra (1) am ehemaligen Ufer des → Boibē-Sees
Hist.: Das Fischerdorf zwischen 1266 u. 1276 mehrfach als Besitz des → Makrinitissa-Kl. bezeugt. Namensvarianten Γρεποϋς, Κρυποΰς η. Χρεποΰς.