From mboxrd@z Thu Jan  1 00:00:00 1970
X-Received: by 2002:a05:620a:6596:b0:777:2780:536f with SMTP id qd22-20020a05620a659600b007772780536fmr283438qkn.13.1698308119908;
        Thu, 26 Oct 2023 01:15:19 -0700 (PDT)
X-Received: by 2002:a05:6808:309d:b0:3b2:ec65:39a0 with SMTP id
 bl29-20020a056808309d00b003b2ec6539a0mr7218373oib.5.1698308119633; Thu, 26
 Oct 2023 01:15:19 -0700 (PDT)
Path: eternal-september.org!news.eternal-september.org!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 26 Oct 2023 01:15:19 -0700 (PDT)
In-Reply-To: <8f19858f-9e07-4896-a1b7-b37867ca4609n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2a03:7380:380d:1fb:9fe2:6a30:8b2e:1a34;
 posting-account=K1cP1QoAAAD_GR6kW2Td0NqGqGBLRE8h
NNTP-Posting-Host: 2a03:7380:380d:1fb:9fe2:6a30:8b2e:1a34
References: <8f19858f-9e07-4896-a1b7-b37867ca4609n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <731bdc12-9e8c-4b69-84a3-1dc5d3b4ecb1n@googlegroups.com>
Subject: Re: Source code for the ARM Formatting Tool
From: Maxim Reznik <reznikmm@gmail.com>
Injection-Date: Thu, 26 Oct 2023 08:15:19 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: news.eternal-september.org comp.lang.ada:65813
List-Id: <comp.lang.ada>

Hello,

I have a github repository synced with ada-auth Web CVS. I was able to build the formatting tool from the source.

https://github.com/reznikmm/ada-auth/

-- 
Max