diff options
Diffstat (limited to 'dev-ada/gprbuild/metadata.xml')
| -rw-r--r-- | dev-ada/gprbuild/metadata.xml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/dev-ada/gprbuild/metadata.xml b/dev-ada/gprbuild/metadata.xml index 505e6ca37ea1..ae7bd66e7cc3 100644 --- a/dev-ada/gprbuild/metadata.xml +++ b/dev-ada/gprbuild/metadata.xml @@ -4,12 +4,6 @@ <maintainer type="project"> <email>ada@gentoo.org</email> </maintainer> - <use> - <flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag> - <flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag> - <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag> - <flag name="gnat_2019">Compile with dev-lang/gnat-gpl-2019</flag> - </use> <longdescription lang="en"> GPRbuild is an advanced software tool designed to help automate the construction of multi-language systems. It removes complexity from |