mirror of
https://github.com/AdaCore/gpr.git
synced 2026-02-12 12:58:39 -08:00
2025-02-15 - 2026-02-15
Overview
Excluding merges,
1 author
has pushed
6 commits
to main and
822 commits
to all branches.
On main,
49 files
have changed
and there have been
815 additions
and
1312 deletions.
1 Release published by 1 user
Published
v26.0.0