https://fosstodon.org/@AdaProgrammers/109581233441372148
26 December 2022 at 17:48
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! ๐๐ #AdaLang #SparkLang #CrateOfTheYear https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award