diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-02-02 15:07:39 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-02 15:07:39 +0000 |
commit | 52895d302231ef73b105756d2781b2262638d566 (patch) | |
tree | 7a2e0cf7cae8995cbbb6f9ae807d5c49b4f2b77c /profiles/desc/ada_target.desc | |
parent | 68f980204de6c2d69eed8748edc90282879326a6 (diff) |
gentoo auto-resync : 02:02:2023 - 15:07:39
Diffstat (limited to 'profiles/desc/ada_target.desc')
-rw-r--r-- | profiles/desc/ada_target.desc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/profiles/desc/ada_target.desc b/profiles/desc/ada_target.desc index a02d28dcd89a..5df7974f3711 100644 --- a/profiles/desc/ada_target.desc +++ b/profiles/desc/ada_target.desc @@ -1,5 +1,6 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 gnat_2021 - Compile with dev-lang/gnat-gpl-2021 +gcc_12 - Compile with sys-devel/gcc:12 gcc_12_2_0 - Compile with sys-devel/gcc-12.2.0 |