libgpr2, prettier_ada, adasat, langkit_support, and libadalang 25.0.0#1281

Merged

mosteo merged 2 commits intoalire-project:stable-1.3.0from Fabien-Chouteau:adacore_25-4

Oct 31, 2024

+113

Commits on Oct 30, 2024