ipr_extern repository