X-Received: by 2002:a7b:c7d0:0:b0:3a0:4c65:a790 with SMTP id z16-20020a7bc7d0000000b003a04c65a790mr9697339wmk.118.1656420922107;
Tue, 28 Jun 2022 05:55:22 -0700 (PDT)
X-Received: by 2002:a81:c307:0:b0:317:f76a:c49d with SMTP id
r7-20020a81c307000000b00317f76ac49dmr21732704ywk.169.1656420921172; Tue, 28
Jun 2022 05:55:21 -0700 (PDT)
Path: i2pn2.org!rocksolid2!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.128.87.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 28 Jun 2022 05:55:20 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=86.212.105.77; posting-account=L3mulQoAAADsXVjCD5rM6Ap3Xy0U3ckB
NNTP-Posting-Host: 86.212.105.77
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <25282bb5-2216-42aa-b784-bcb8875cf314n@googlegroups.com>
Subject: Ada/SPARK Crate Of The Year is back!
From: fabien.chouteau@gmail.com (Fabien Chouteau)
Injection-Date: Tue, 28 Jun 2022 12:55:22 +0000
Content-Type: text/plain; charset="UTF-8"