欧洲地中海地震中心：印尼弗洛雷斯地区发生了4.2级地震；震源深度5公里。