comp.lang.ada

Roger Mc <rogermcm2@gmail.com> writes: >> Only suggestion: install one of my builds, set

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes: > There is no need to

Please re-send your nominations! There was a problem with the mailing list and some nominations got

Sorry for some typos in my latest post, but the intelligent reader should understand :-) reinert

On 24.09.22 21:07, Dmitry A. Kazakov wrote: > Huh, in not so distant future I expect drivers using

Paul Rubin <no.email@nospam.invalid> writes: > Stephen Leake <stephen_leake@stephe-leake.

Now that Ada is ARMed with ALEG, she can kick some serious butt ! ... :) Thank you ... a very

On 22 Sep 2022, Simon Wright wrote (in article <ly5yhf18ln.fsf@pushface.org>): > Bill

Premium & High profile Escorts Agency in Pune offering female escorts & call girls for your

On Thursday, September 3, 2020 at 1:28:14 AM UTC-4, find fun wrote: > Gsopt pussy pop put in that

On 21/9/22 20:50, Saada Mehdi wrote: > Le samedi 16 juillet 2022 à 08:40:50 UTC+2, roda...@gmail.

<snip> Thnx Stephe for the advice, just posted the same on github. Will have a look later on

The seventh ACM workshop on High Integrity Language Technology (ACM HILT 2022) is being held on

On 2022-09-16 17:00, Marius Amado-Alves wrote: >>>> "for X of M loop ... end loop

Note: This post was originally posted on r/Ada, but I copied it here when the post I made was removed

Niklas Holsti <niklas.holsti@tidorum.invalid> writes: > I don't find these "raise .

On 09.09.22 17:06, antispam@math.uni.wroc.pl wrote: > In OO there is > dispatch mechanizm which

Hello, I tried alire with the latest version of the compiler (I believe) and I got trouble compiling

lørdag 10. september 2022 kl. 10:07:25 UTC+2 skrev Simon Wright: > reinert <rei...@gmail.com

On 08/09/2022 23:28, 梅煜 wrote: > Can GNAT Community projects be compiled to the Android platform?

By chance I discovered this COST Action "CA20111 - European Research Network on Formal Proofs (

"Emmanuel Briot" <briot.emmanuel@gmail.com> wrote in message news:458444ed-e384-4663-

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message news:jneucmFn478U1@

On Thursday, September 1, 2022 at 10:35:47 AM UTC+2, Fernando Oleo Blanco wrote: > Hi all, >

Hello, The version 2.5 of AZip is out! URL: http://azip.sf.net/ AZip is a Zip archive manager. Some

* New in '58', 20-Aug-2022 [rev. 922]: - Support for Zip_64 archives. The Zip_64 format

Em quarta-feira, 17 de agosto de 2022 às 22:12:24 UTC-3, Randy Brukardt escreveu: > "Daniel

Stephen Leake <stephen_leake@stephe-leake.org> writes: > <rant> There's no date on

The release is focused on B-trees. The B-tree represents a more performant and easy to use

> Adjust is called on assignment. Your code does no assignments. > Right. A default parameter