From: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun, 11 Sep 2016 13:29:50 +0000 (+0100)
Subject: package.mask: mask sci-mathematics/agda-executable for removal
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=c2c2ed3746130b6caab763dfd2b23e623803692b;p=gentoo.git

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 c6c1a4a0f8da..73e5be10a890 100644
--- 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