From 52895d302231ef73b105756d2781b2262638d566 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Thu, 2 Feb 2023 15:07:39 +0000 Subject: gentoo auto-resync : 02:02:2023 - 15:07:39 --- profiles/desc/ada_target.desc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'profiles/desc') 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 -- cgit v1.2.3