diff options
Diffstat (limited to 'profiles/desc')
-rw-r--r-- | profiles/desc/ada_target.desc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/desc/ada_target.desc b/profiles/desc/ada_target.desc index 3b4430fae688..005be2d73640 100644 --- a/profiles/desc/ada_target.desc +++ b/profiles/desc/ada_target.desc @@ -3,3 +3,4 @@ gnat_2021 - Compile with dev-lang/gnat-gpl-2021 gcc_12 - Compile with sys-devel/gcc:12 +gcc_13 - Compile with sys-devel/gcc:13 |