From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:620a:26a4:b0:6fc:b1fd:c7e1 with SMTP id c36-20020a05620a26a400b006fcb1fdc7e1mr15218433qkp.627.1670324167110;
        Tue, 06 Dec 2022 02:56:07 -0800 (PST)
X-Received: by 2002:ac8:7492:0:b0:3a6:6eb1:e5c5 with SMTP id
 v18-20020ac87492000000b003a66eb1e5c5mr44254966qtq.536.1670324166995; Tue, 06
 Dec 2022 02:56:06 -0800 (PST)
Path: eternal-september.org!reader01.eternal-september.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 6 Dec 2022 02:56:06 -0800 (PST)
In-Reply-To: <lywn757ov9.fsf@pushface.org>
Injection-Info: google-groups.googlegroups.com; posting-host=184.98.49.135; posting-account=x5rpZwoAAABMN2XPwcebPWPkebpwQNJG
NNTP-Posting-Host: 184.98.49.135
References: <3f881d33-40c0-4c30-96c1-9df82bbddbb0n@googlegroups.com> <lywn757ov9.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <567a8715-05d2-4fc4-8da3-ee17a34e0a4cn@googlegroups.com>
Subject: Re: Problem with gpr file after updating GNAT
From: Jerry <list_email@icloud.com>
Injection-Date: Tue, 06 Dec 2022 10:56:07 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1372
Xref: reader01.eternal-september.org comp.lang.ada:64674
List-Id: <comp.lang.ada>

Both Simon's suggestion
export GNAT_FILE_NAME_CASE_SENSITIVE=0

and Egil's suggestion
package Naming is
for Casing use "MixedCase";
end Naming; 

solve the problem.

Thanks. Not sure what the underlying problems are.

Jerry