diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-11-06 10:15:54 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-11-06 10:15:54 +0000 |
commit | eb7aa327b218d640c8bda63ba0fd1ace2bd2d17b (patch) | |
tree | bbe526e2a2c1fd2fd7ee20d62b99c7ac30476aff /profiles/desc | |
parent | 6471b382a951b256ffa1b8ea3e6e7d7f5b189281 (diff) |
gentoo auto-resync : 06:11:2023 - 10:15:54
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 |