with Corba.Repository_Root.Repository ; package Corba.Repository renames Corba.Repository_Root.Repository ;