sci-mathematics/why3-for-spark: 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/why3-for-spark/why3-for-spark-2018.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
index 5400b37276c2d4f841b5e7c97381070b9f46c2ce..2335a61928f9ee470deb58f2ce201b0157d8c1a5 100644 (file)
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
@@ -23,7 +23,7 @@ DEPEND=">=dev-lang/ocaml-4.02.3[ocamlopt?]
        coq? ( sci-mathematics/coq )
        doc? ( dev-tex/rubber )
        gtk? ( dev-ml/lablgtk[sourceview] )
-       emacs? ( virtual/emacs )
+       emacs? ( >=app-editors/emacs-23.1:* )
        html? ( dev-tex/hevea )
        hypothesis-selection? ( dev-ml/ocamlgraph )
        zarith? ( dev-ml/zarith )

diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild
index a0caa7b6cf68d81c0d0dd6dd634b887f35aa14fd..409bfc36cda5d919099288f6ed8fcd0f71902af6 100644 (file)
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild
@@ -23,7 +23,7 @@ DEPEND=">=dev-lang/ocaml-4.02.3[ocamlopt?]
        coq? ( sci-mathematics/coq )
        doc? ( dev-tex/rubber )
        gtk? ( dev-ml/lablgtk[sourceview] )
-       emacs? ( virtual/emacs )
+       emacs? ( >=app-editors/emacs-23.1:* )
        html? ( dev-tex/hevea )
        hypothesis-selection? ( dev-ml/ocamlgraph )
        zarith? ( dev-ml/zarith )