diff options
Diffstat (limited to 'profiles/package.mask')
| -rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
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 |