Purva Khanda — Chapter 87 — Verse 32

तेजस्वी नाम वै शक्रो हिरण्याक्षो रिपुः स्मृतः । हतो वराहरूपेण हरिण्याख्यो ऽथ विष्णुना

tejasvī nāma vai śakro hiraṇyākṣo ripuḥ smṛtaḥ / hato varāharūpeṇa hariṇyākhyo 'tha viṣṇunā