diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2019-05-30 19:24:44 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-05-30 19:24:44 +0000 |
| commit | a88c30c694ad517dfa5ef451f6006a27ce214df0 (patch) | |
| tree | c252600baf40bb1fc693c82a77cb013a8af02b4d /profiles | |
| parent | Merge updates from master (diff) | |
| download | gentoo-a88c30c694ad517dfa5ef451f6006a27ce214df0.tar.gz gentoo-a88c30c694ad517dfa5ef451f6006a27ce214df0.tar.bz2 gentoo-a88c30c694ad517dfa5ef451f6006a27ce214df0.zip | |
2019-05-30 19:24:43 UTC
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/use.local.desc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/use.local.desc b/profiles/use.local.desc index 468395e3a76a..c36e62d6e7d5 100644 --- a/profiles/use.local.desc +++ b/profiles/use.local.desc @@ -1022,6 +1022,7 @@ dev-ada/gtkada:shared - Build gtkada as shared library dev-ada/libadalang:gnat_2016 - Compile with dev-lang/gnat-gpl-2016 dev-ada/libadalang:gnat_2017 - Compile with dev-lang/gnat-gpl-2017 dev-ada/libadalang:gnat_2018 - Compile with dev-lang/gnat-gpl-2018 +dev-ada/libadalang:gnat_2019 - Compile with dev-lang/gnat-gpl-2019 dev-ada/libadalang:shared - Build shared library dev-ada/libgpr:gnat_2016 - Compile with dev-lang/gnat-gpl-2016 dev-ada/libgpr:gnat_2017 - Compile with dev-lang/gnat-gpl-2017 |