diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2016-09-11 14:29:50 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2016-09-11 14:29:50 +0100 |
| commit | c2c2ed3746130b6caab763dfd2b23e623803692b (patch) | |
| tree | 401391fecc36445971e38cc7b94a9f7f975b6bdc | |
| parent | dev-haskell/haskell-src-meta: bump up to 0.6.0.14 (diff) | |
| download | gentoo-c2c2ed37.tar.gz gentoo-c2c2ed37.tar.bz2 gentoo-c2c2ed37.zip | |
package.mask: mask sci-mathematics/agda-executable for removal
Use sci-mathematics/agda instead.
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
| -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 |