sci-mathematics/agda: Update virtual/emacs dependency.

The virtual is deprecated, depend on app-editors/emacs instead.

Package-Manager: Portage-2.3.82, Repoman-2.3.20
Signed-off-by: Ulrich Müller <ulm@gentoo.org>

diff --git a/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild b/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild
index 35d86bd4e84c31d3d273ebf12b99a5185f15ffd6..b958c29c54236d816f6ecdd23e8dc7e222527399 100644 (file)
--- a/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild
+++ b/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild
@@ -44,8 +44,8 @@ RDEPEND=">=dev-haskell/binary-0.7.2.1:=[profile?] <dev-haskell/binary-0.8:=[prof
        >=dev-haskell/transformers-0.3:=[profile?] <dev-haskell/transformers-0.5:=[profile?]
 "
 RDEPEND+="
-               emacs? ( app-emacs/haskell-mode
-                       virtual/emacs )
+               emacs? ( >=app-editors/emacs-23.1:*
+                       app-emacs/haskell-mode )
 "
 PDEPEND="stdlib? ( =sci-mathematics/agda-stdlib-${PV} )"
 DEPEND="${RDEPEND}

diff --git a/sci-mathematics/agda/agda-2.5.2-r1.ebuild b/sci-mathematics/agda/agda-2.5.2-r1.ebuild
index 630d67092eb1a1694ddc2fd372d87c20304515c9..d5d805f48baec340fe5f26e5f5e0338875c8f593 100644 (file)
--- a/sci-mathematics/agda/agda-2.5.2-r1.ebuild
+++ b/sci-mathematics/agda/agda-2.5.2-r1.ebuild
@@ -63,8 +63,8 @@ RDEPEND=">=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile?
                >=dev-haskell/uulib-0.9.20:=[profile?] )
 "
 RDEPEND+="
-               emacs? ( app-emacs/haskell-mode
-                       virtual/emacs )
+               emacs? ( >=app-editors/emacs-23.1:*
+                       app-emacs/haskell-mode )
 "
 PDEPEND="stdlib? ( =sci-mathematics/agda-stdlib-${MY_GENTOO_AGDA_STDLIB_V} )"
 DEPEND="${RDEPEND}