Kirāṭi untranslated

Kirāṭi. A locality in Ceylon, near Aḷisāra. There Māyāgeha once captured a fortification (Cv.lxx.165). Kirāṭi may be the name of a tiny river. See Cv.Trs.i.301, n.1.