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 <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