<I'm not sure if package renaming is sufficiently powerful for that. What happens with grandchildren of the GNAT package? >> nothing special about grandchildren here package GNU.xxx renames GNAT.yyy.zzz is perfectly fine