commit: c2c2ed3746130b6caab763dfd2b23e623803692b Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> AuthorDate: Sun Sep 11 13:29:50 2016 +0000 Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> CommitDate: Sun Sep 11 13:29:50 2016 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c2c2ed37
package.mask: mask sci-mathematics/agda-executable for removal Use sci-mathematics/agda instead. Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org> profiles/package.mask | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index c6c1a4a..73e5be1 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,11 @@ #--- END OF EXAMPLES --- +# Sergei Trofimovich <sly...@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 <monsie...@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
