From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.5-pre1
X-Received: by 2002:a37:bc04:: with SMTP id m4mr24489626qkf.100.1624875098832;
        Mon, 28 Jun 2021 03:11:38 -0700 (PDT)
X-Received: by 2002:a25:6d02:: with SMTP id i2mr29339783ybc.309.1624875098555;
 Mon, 28 Jun 2021 03:11:38 -0700 (PDT)
Path: eternal-september.org!reader02.eternal-september.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 28 Jun 2021 03:11:38 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=89.157.143.72; posting-account=L3mulQoAAADsXVjCD5rM6Ap3Xy0U3ckB
NNTP-Posting-Host: 89.157.143.72
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <83cc547d-b318-4b77-89ab-3c9a487723cen@googlegroups.com>
Subject: New competition: Ada/SPARK Crate Of The Year Award
From: Fabien Chouteau <fabien.chouteau@gmail.com>
Injection-Date: Mon, 28 Jun 2021 10:11:38 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:62294
List-Id: <comp.lang.ada>

Hello here,

I am happy announce AdaCore's new programming competition: The Ada/SPARK Crate Of The Year Award!

The announcement is here: https://blog.adacore.com/announcing-the-first-ada-spark-crate-of-the-year-award

And you can register here: https://github.com/AdaCore/Ada-SPARK-Crate-Of-The-Year

Cheers,