summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2021-01-31 00:47:55 +0100
committerMichał Górny <mgorny@gentoo.org>2021-01-31 01:06:32 +0100
commitca4e339210df90d84cab313993fea402474b9ff1 (patch)
treecae6743986b1adca70b98f6d9f5996fa9599c5c9 /profiles
parentdev-ada/libadalang-tools: Remove last-rited pkg (diff)
downloadgentoo-ca4e339210df90d84cab313993fea402474b9ff1.tar.gz
gentoo-ca4e339210df90d84cab313993fea402474b9ff1.tar.bz2
gentoo-ca4e339210df90d84cab313993fea402474b9ff1.zip
dev-ada/libadalang: Remove last-rited pkg
Closes: https://bugs.gentoo.org/735264 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r--profiles/package.mask1
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index a881278ff35b..31a5f32e8661 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -347,7 +347,6 @@ dev-lang/spark
# Masking for removal to prevent eclass from crashing on these packages.
# Removal in 30 days.
dev-ada/langkit
-dev-ada/libadalang
# Mart Raudsepp <leio@gentoo.org> (2020-08-15)
# Development release, needs testing to ensure valac-0.50