100644 blob b5608aaf9073ac19b4f471d3051acf9d70117a1f	fun_renaming.adb
100644 blob 3d677842941e87301bd9b8f145030a6844ed0401	pack.adb
100644 blob b4897f4ff85929beda90765b4f5b8fd3ed1158fb	pack.ads