commit: 6c532ec926058d96e6d584075b63a32e4fb2c300
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 20 16:31:12 2019 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Fri Dec 20 22:48:52 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6c532ec9
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 <AT> gentoo.org>
sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild | 2 +-
sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
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 5400b37276c..2335a61928f 100644
--- 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 a0caa7b6cf6..409bfc36cda 100644
--- 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 )
