diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/Manifest.gz | bin | 149864 -> 149860 bytes | |||
| -rw-r--r-- | profiles/desc/ada_target.desc | 1 |
2 files changed, 0 insertions, 1 deletions
diff --git a/profiles/Manifest.gz b/profiles/Manifest.gz Binary files differindex 89e54b0025fc..84f529c9986e 100644 --- a/profiles/Manifest.gz +++ b/profiles/Manifest.gz diff --git a/profiles/desc/ada_target.desc b/profiles/desc/ada_target.desc index 56e98a3ba1af..a02d28dcd89a 100644 --- a/profiles/desc/ada_target.desc +++ b/profiles/desc/ada_target.desc @@ -1,6 +1,5 @@ # Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -gnat_2020 - Compile with dev-lang/gnat-gpl-2020 gnat_2021 - Compile with dev-lang/gnat-gpl-2021 gcc_12_2_0 - Compile with sys-devel/gcc-12.2.0 |