How did Gibraltar get its name?

Gibraltar is from the Spanish derivation of the Arabic meaning "mountain of Tariq" (Jabal Tāriq)