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=2.4 required=3.0 tests=BAYES_50,FREEMAIL_FROM,
	SCC_BODY_URI_ONLY,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no
	version=3.4.6
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: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.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 <fabien.chouteau@gmail.com>
Injection-Date: Tue, 28 Jun 2022 12:55:22 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:64041
List-Id: <comp.lang.ada>

https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award