Side Note:
There is already a first port of gnat13 done by FreeBSD gcc port maintainer Thierry with whom I had a nice chat former friday,
but as I had some issues to build it on my rig, and already had a working gnat12 built mid 2022, I took the challenge to set-up a full CI-CD for our Ada toolchain on our FreeBSD server with build system poudriere.

Next step : PR to FreeBSD maintainer to have it direct in the FreeBSD Port & Pkg eco-system, ready to be downloaded.

Details

```
gcc (built by AdaForge, latest Ada commit on 2025-07-04) 15.1.1 20250706
Copyright (C) 2025 Free Software Foundation, Inc.

GNAT 15.1.1 20250706
Copyright (C) 1996-2025, Free Software Foundation, Inc

GPRBUILD FSF 2025.3 (built by AdaForge) (x86_64-unknown-freebsd14.3)
Copyright (C) 2004-2025, AdaCore ```