From f1af93971b7490792d8541bc790e0d8c6d787059 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 6 Sep 2019 10:28:05 +0100 Subject: gentoo resync : 06.08.2019 --- profiles/desc/ada_target.desc | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 profiles/desc/ada_target.desc (limited to 'profiles/desc') diff --git a/profiles/desc/ada_target.desc b/profiles/desc/ada_target.desc new file mode 100644 index 000000000000..af88195ca134 --- /dev/null +++ b/profiles/desc/ada_target.desc @@ -0,0 +1,8 @@ +# Copyright 1999-2018 Gentoo Foundation. +# Distributed under the terms of the GNU General Public License v2 + +gnat_2016 - Compile with dev-lang/gnat-gpl-2016 +gnat_2017 - Compile with dev-lang/gnat-gpl-2017 +gnat_2018 - Compile with dev-lang/gnat-gpl-2018 +gnat_2019 - Compile with dev-lang/gnat-gpl-2019 + -- cgit v1.2.3