From c2c2ed3746130b6caab763dfd2b23e623803692b Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Sun, 11 Sep 2016 14:29:50 +0100 Subject: [PATCH] package.mask: mask sci-mathematics/agda-executable for removal Use sci-mathematics/agda instead. Signed-off-by: Sergei Trofimovich --- profiles/package.mask | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index c6c1a4a0f8da7..73e5be10a8901 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,11 @@ #--- END OF EXAMPLES --- +# Sergei Trofimovich (11 Sep 2016) +# Mask for removal in 30 days. >=sci-mathematics/agda-2.4 +# now provides 'agda' binary. +sci-mathematics/agda-executable + # Patrice Clement (10 Sep 2016) # Upstream dead. This package tries very hard to outsmart autotools and # reinvent the wheel by coming up with its own configure script. A complete