package.mask: mask sci-mathematics/agda-executable for removal

Use sci-mathematics/agda instead.

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

diff --git a/profiles/package.mask b/profiles/package.mask
index c6c1a4a0f8da7d45ed140158629f70e044138b50..73e5be10a8901ddf82fa10b3b231b894deba4e23 100644 (file)
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -30,6 +30,11 @@
 
 #--- END OF EXAMPLES ---
 
+# Sergei Trofimovich <slyfox@gentoo.org> (11 Sep 2016)
+# Mask for removal in 30 days. >=sci-mathematics/agda-2.4
+# now provides 'agda' binary.
+sci-mathematics/agda-executable
+
 # Patrice Clement <monsieurp@gentoo.org> (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