Ibrahimhalil ismi Kur'an-ı Kerim'de geçiyor mu?

Kur'an'da ayrı ayrı İbrahim ve Halil kelimeleri yer alır, ancak birleşik haliyle doğrudan geçmez.