Tolong jelaskan mengenai Sejarah dari Mangga gadung

Nama "mangga" berasal dari bahasa malayalam yaitu "maanga". Kata ini kemudian diserap kedalam bahasa indonesia menjadi mangga. Terdapat banyak mangga di Indonesia salah satunya yaitu mangga gadung. Diberi nama "mangga gadung" karena mangga tersebut berwarna gadung. Menurut orang jawa warna gadung tersebut sama saja dengan warna hijau tua.