20161010 city.goa: EDC to sell GAAL's assets for 7 crore to HAL