पितामहमुखाश्चैव सर्वे देवाः प्रहर्षिताः॥ ज्ञात्वा लोकगतिं सर्वां तस्य मृत्युं च रक्षसः।
pitāmahamukhāścaiva sarve devāḥ praharṣitāḥ|| jñātvā lokagatiṃ sarvāṃ tasya mṛtyuṃ ca rakṣasaḥ|
English Meaning
Being apprised of the plight of people (brought about by him) and of the death of that Rākşasa the patriarch Brahmă and other gods were greatly delighted.
— M.N. Dutt (1891–94, public domain)