commit: 1e5f45b1ed0fa6ae2b44a8872085f93cf0738a49
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 20 16:28:16 2019 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Fri Dec 20 22:48:47 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1e5f45b1
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 <AT> gentoo.org>
sci-mathematics/agda/agda-2.4.2.5-r2.ebuild | 4 ++--
sci-mathematics/agda/agda-2.5.2-r1.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
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 35d86bd4e84..b958c29c542 100644
--- 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 630d67092eb..d5d805f48ba 100644
--- 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}
