25 Release Notes 25 Release notes for GNAT Pro, GNATDAS, GNATSAS, libadalang and SPARK.25 Release Notes live docs »Last Updated: 11/9/2024 Posted on: 11/9/2024