projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2fc4dc) | patch
package.mask: mask sci-mathematics/agda-executable for removal
authorSergei Trofimovich <slyfox@gentoo.org>
Sun, 11 Sep 2016 13:29:50 +0000 (14:29 +0100)
committerSergei Trofimovich <slyfox@gentoo.org>
Sun, 11 Sep 2016 13:29:50 +0000 (14:29 +0100)
commitc2c2ed3746130b6caab763dfd2b23e623803692b
tree401391fecc36445971e38cc7b94a9f7f975b6bdctree | snapshot
parentd2fc4dc71d242d0ef526694927248dd86d612d41commit | diff
package.mask: mask sci-mathematics/agda-executable for removal

Use sci-mathematics/agda instead.

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.