RT @[email protected]

We are happy to announce that the #GNATCommunity 2020 release is now available to download! Check out the blog for this year's release highlights - https://blog.adacore.com/gnat-community-2020-is-here @[email protected] #Adaprogramming #SPARKAda #embeddedprogramming

🐦🔗: https://twitter.com/AdaCoreCompany/status/1265634832069115906