diff options
-rw-r--r-- | profiles/package.mask | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 6bc11677ab0d..5cf6031ddf26 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -32,6 +32,14 @@ #--- END OF EXAMPLES --- +# Alfredo Tupone <tupone@gentoo.org> (2020-08-16) +# Ported to py3.8 but not yet released +# Masked to allow py2.7 removal +dev-ada/langkit +dev-ada/libadalang +dev-ada/libadalang-tools +dev-ada/gps + # Michał Górny <mgorny@gentoo.org> (2020-08-16) # Unmaintained. Not ported to py3.7. The only revdep is queued # for removal. |