gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-01 11:18:09 -07:00
Code Issues Projects Releases Wiki Activity

package.mask: mask sci-mathematics/agda-executable for removal

Browse Source 
Use sci-mathematics/agda instead.

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
This commit is contained in:
Sergei Trofimovich
2016-09-11 14:29:50 +01:00
parent d2fc4dc71d
commit c2c2ed3746
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
profiles/package.mask
View File

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