بحثك - الحلبي، إبراهيم بن مصطفى بن إبراهيم، توفي 1190 هجريا - لم يطابق أي من المصادر.