summaryrefslogtreecommitdiff
path: root/profiles/desc
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-11-06 10:15:54 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-11-06 10:15:54 +0000
commiteb7aa327b218d640c8bda63ba0fd1ace2bd2d17b (patch)
treebbe526e2a2c1fd2fd7ee20d62b99c7ac30476aff /profiles/desc
parent6471b382a951b256ffa1b8ea3e6e7d7f5b189281 (diff)
gentoo auto-resync : 06:11:2023 - 10:15:54
Diffstat (limited to 'profiles/desc')
-rw-r--r--profiles/desc/ada_target.desc1
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