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.0 required=3.0 tests=BAYES_40,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:ae9:ed0b:0:b0:75b:6f79:697b with SMTP id c11-20020ae9ed0b000000b0075b6f79697bmr316916qkg.11.1686346888493; Fri, 09 Jun 2023 14:41:28 -0700 (PDT) X-Received: by 2002:a81:e20a:0:b0:533:8f19:4576 with SMTP id p10-20020a81e20a000000b005338f194576mr1503542ywl.0.1686346888158; Fri, 09 Jun 2023 14:41:28 -0700 (PDT) Path: eternal-september.org!news.eternal-september.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.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: Fri, 9 Jun 2023 14:41:27 -0700 (PDT) In-Reply-To: <4397d1a5-dde5-4d4a-bbd6-79ea544583bfn@googlegroups.com> Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1210:2e90:8100:51fc:68e2:89c0:6b44; posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG NNTP-Posting-Host: 2a02:1210:2e90:8100:51fc:68e2:89c0:6b44 References: <4397d1a5-dde5-4d4a-bbd6-79ea544583bfn@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <12a8a6c7-0629-43a1-a3e6-5f478be52d1cn@googlegroups.com> Subject: Re: Ann: LEA v.0.87 From: Gautier write-only address Injection-Date: Fri, 09 Jun 2023 21:41:28 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 1342 Xref: news.eternal-september.org comp.lang.ada:65306 List-Id: LEA is now available on Alire (https://alire.ada.dev/) ! alr index --update-all alr get lea cd lea <-- here you press the Tab key to complete alr build lea