Girihālika untranslated

Girihālika. A monastery built in an inland district of Ceylon by King Mahallaka Nāga (Mhv.xxxv.125).