update repo file to Havana too