From: Gautier write-only address <gautier_niouzes@hotmail.com>
Subject: Re: Ann: LEA v.0.87
Date: Fri, 9 Jun 2023 14:41:27 -0700 (PDT) [thread overview]
Message-ID: <12a8a6c7-0629-43a1-a3e6-5f478be52d1cn@googlegroups.com> (raw)
In-Reply-To: <4397d1a5-dde5-4d4a-bbd6-79ea544583bfn@googlegroups.com>
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
prev parent reply other threads:[~2023-06-09 21:41 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-05-29 16:29 Ann: LEA v.0.87 Gautier write-only address
2023-05-29 19:56 ` DrPi
2023-05-30 5:27 ` Gautier write-only address
2023-05-30 6:03 ` DrPi
2023-06-01 3:18 ` Gautier write-only address
2023-06-01 7:17 ` DrPi
2023-09-13 19:23 ` Gautier write-only address
2023-09-13 20:12 ` DrPi
2023-06-09 21:41 ` Gautier write-only address [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox