diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2019-09-06 10:28:05 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2019-09-06 10:28:05 +0100 |
| commit | f1af93971b7490792d8541bc790e0d8c6d787059 (patch) | |
| tree | a38046712bbc3a3844d77452d16c84e716caa3d4 /profiles/desc | |
| parent | fc637fb28da700da71ec2064d65ca5a7a31b9c6c (diff) | |
gentoo resync : 06.08.2019
Diffstat (limited to 'profiles/desc')
| -rw-r--r-- | profiles/desc/ada_target.desc | 8 |
1 files changed, 8 insertions, 0 deletions
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 + |