On June 5 , 2012 , Pakistan intelligence officials announced that al-Rahman 's replacement Abu Yahya al-Libi had been killed in Pakistan .
U.S. officials have announced the death of senior al-Quaeda leader Abu Yahya al-Libi .