ત્યારથી તેને દેવદિવાળી નામ આપવામાં આવ્યું છે.